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>