summaryrefslogtreecommitdiff
path: root/src/arch
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch')
-rw-r--r--src/arch/arm/armv4/cache.c1
-rw-r--r--src/arch/arm/armv7/cache_m.c1
-rw-r--r--src/arch/riscv/virtual_memory.c1
3 files changed, 0 insertions, 3 deletions
diff --git a/src/arch/arm/armv4/cache.c b/src/arch/arm/armv4/cache.c
index c667f6da3a..5f34c6049b 100644
--- a/src/arch/arm/armv4/cache.c
+++ b/src/arch/arm/armv4/cache.c
@@ -5,7 +5,6 @@
* Reference: ARM Architecture Reference Manual, ARMv7-A and ARMv7-R edition
*/
-#include <stdint.h>
#include <arch/cache.h>
diff --git a/src/arch/arm/armv7/cache_m.c b/src/arch/arm/armv7/cache_m.c
index 88e94559f4..7267e83948 100644
--- a/src/arch/arm/armv7/cache_m.c
+++ b/src/arch/arm/armv7/cache_m.c
@@ -3,7 +3,6 @@
* cache.c: Cache maintenance routines for ARMv7-M
*/
-#include <stdint.h>
#include <arch/cache.h>
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