diff --git a/arch/arm/src/fvp-v8r-aarch32/fvp_boot.c b/arch/arm/src/fvp-v8r-aarch32/fvp_boot.c
index cd90415731b..a410a3b24f3 100644
--- a/arch/arm/src/fvp-v8r-aarch32/fvp_boot.c
+++ b/arch/arm/src/fvp-v8r-aarch32/fvp_boot.c
@@ -30,6 +30,8 @@
 
 #include <arch/chip/chip.h>
 
+#include "arm_internal.h"
+
 #include "barriers.h"
 #include "cp15.h"
 #include "arm_gic.h"