3 files changed, 4 insertions, 3 deletions
diff --git a/libcpu/aarch64/cortex-a53/cp15.h b/libcpu/aarch64/cortex-a53/cp15.h
index 91c37d679f..f3ffd6f857 100644
--- a/libcpu/aarch64/cortex-a53/cp15.h
+++ b/libcpu/aarch64/cortex-a53/cp15.h
@@ -11,7 +11,6 @@
 #ifndef __CP15_H__
 #define __CP15_H__
 
-#include "bcm283x.h"
 #ifndef   __STATIC_FORCEINLINE
 #define __STATIC_FORCEINLINE     __attribute__((always_inline)) static inline
 #endif
diff --git a/libcpu/aarch64/cortex-a53/interrupt.c b/libcpu/aarch64/cortex-a53/interrupt.c
index 8ad60c6de2..a412ca1953 100644
--- a/libcpu/aarch64/cortex-a53/interrupt.c
+++ b/libcpu/aarch64/cortex-a53/interrupt.c
@@ -12,12 +12,12 @@
  */
 
 #include <rthw.h>
+#include <board.h>
 #include <rtthread.h>
 
 #include "cp15.h"
 #include "armv8.h"
-
-#include <board.h>
+#include "interrupt.h"
 
 #define MAX_HANDLERS                72
 
diff --git a/libcpu/aarch64/cortex-a53/interrupt.h b/libcpu/aarch64/cortex-a53/interrupt.h
index 0c20f79bcc..3533d3818c 100644
--- a/libcpu/aarch64/cortex-a53/interrupt.h
+++ b/libcpu/aarch64/cortex-a53/interrupt.h
@@ -14,6 +14,8 @@
 #include <rthw.h>
 #include <board.h>
 
+#include "raspi.h"
+
 #define INT_IRQ     0x00
 #define INT_FIQ     0x01