diff options
Diffstat (limited to 'src/arch/riscv/sbi.c')
| -rw-r--r-- | src/arch/riscv/sbi.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/arch/riscv/sbi.c b/src/arch/riscv/sbi.c index a5f3fd4065..e0d7c60e5f 100644 --- a/src/arch/riscv/sbi.c +++ b/src/arch/riscv/sbi.c @@ -20,7 +20,6 @@ #include <sbi.h> #include <vm.h> #include <console/uart.h> -#include <console/console.h> #include <commonlib/helpers.h> static uintptr_t send_ipi(uintptr_t *pmask, intptr_t type) |