diff options
Diffstat (limited to 'src/soc/amd/picasso')
| -rw-r--r-- | src/soc/amd/picasso/psp_verstage/printk.c | 1 | ||||
| -rw-r--r-- | src/soc/amd/picasso/psp_verstage/reset.c | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/src/soc/amd/picasso/psp_verstage/printk.c b/src/soc/amd/picasso/psp_verstage/printk.c index 2252d44262..2f9d30a29e 100644 --- a/src/soc/amd/picasso/psp_verstage/printk.c +++ b/src/soc/amd/picasso/psp_verstage/printk.c @@ -4,7 +4,6 @@ #include <console/console.h> #include <console/streams.h> #include <stdarg.h> -#include <stdint.h> void console_hw_init(void) { diff --git a/src/soc/amd/picasso/psp_verstage/reset.c b/src/soc/amd/picasso/psp_verstage/reset.c index 5619e457ae..7cd790795e 100644 --- a/src/soc/amd/picasso/psp_verstage/reset.c +++ b/src/soc/amd/picasso/psp_verstage/reset.c @@ -3,8 +3,6 @@ #include <bl_uapp/bl_syscall_public.h> #include <console/console.h> #include <reset.h> -#include <stdint.h> - void do_board_reset(void) { |