diff options
| -rw-r--r-- | src/arch/armv7/lib/cache.c | 2 | ||||
| -rw-r--r-- | src/arch/armv7/lib/mmu.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/arch/armv7/lib/cache.c b/src/arch/armv7/lib/cache.c index 7bb337dd41..8709daf1ee 100644 --- a/src/arch/armv7/lib/cache.c +++ b/src/arch/armv7/lib/cache.c @@ -31,7 +31,7 @@ * Reference: ARM Architecture Reference Manual, ARMv7-A and ARMv7-R edition */ -#include <types.h> +#include <stdint.h> #include <arch/cache.h> diff --git a/src/arch/armv7/lib/mmu.c b/src/arch/armv7/lib/mmu.c index 34a484f300..d55d4bd681 100644 --- a/src/arch/armv7/lib/mmu.c +++ b/src/arch/armv7/lib/mmu.c @@ -28,7 +28,7 @@ */ #include <stdlib.h> -#include <types.h> +#include <stdint.h> #include <cbmem.h> #include <console/console.h> |