summaryrefslogtreecommitdiff
path: root/src/arch/riscv
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/riscv')
-rw-r--r--src/arch/riscv/virtual_memory.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/arch/riscv/virtual_memory.c b/src/arch/riscv/virtual_memory.c
index 467b93de16..43e3d70304 100644
--- a/src/arch/riscv/virtual_memory.c
+++ b/src/arch/riscv/virtual_memory.c
@@ -5,7 +5,6 @@
#include <arch/cpu.h>
#include <arch/encoding.h>
-#include <stdint.h>
#include <vm.h>
/* Delegate controls which traps are delegated to the payload. If you