diff --git a/soc/arm64/arm/fvp_aemv8r/arm_mpu_regions.c b/soc/arm64/arm/fvp_aemv8r/arm_mpu_regions.c
index ba75ef842b0dfb..22b4822360b3ff 100644
--- a/soc/arm64/arm/fvp_aemv8r/arm_mpu_regions.c
+++ b/soc/arm64/arm/fvp_aemv8r/arm_mpu_regions.c
@@ -3,10 +3,11 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <zephyr/sys/slist.h>
-#include <zephyr/linker/linker-defs.h>
-#include <zephyr/arch/arm64/cortex_r/arm_mpu.h>
+#include <stdint.h>
 
+#include <zephyr/arch/arm64/cortex_r/arm_mpu.h>
+#include <zephyr/linker/linker-defs.h>
+#include <zephyr/sys/util.h>
 
 #define DEVICE_REGION_START 0x80000000UL
 #define DEVICE_REGION_END   0xFFFFFFFFUL