diff options
Diffstat (limited to 'src/arch')
| -rw-r--r-- | src/arch/arm/armv4/cache.c | 1 | ||||
| -rw-r--r-- | src/arch/arm/armv7/cache_m.c | 1 | ||||
| -rw-r--r-- | src/arch/riscv/virtual_memory.c | 1 |
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 |