diff --git a/arch/arm64/src/common/arm64_arch_timer.h b/arch/arm64/src/common/arm64_arch_timer.h
index 0dd0d77f58..5fc8a7db99 100644
--- a/arch/arm64/src/common/arm64_arch_timer.h
+++ b/arch/arm64/src/common/arm64_arch_timer.h
@@ -25,10 +25,6 @@
  * Included Files
  ****************************************************************************/
 
-#include <nuttx/config.h>
-#include <arch/irq.h>
-#include <arch/chip/chip.h>
-
 #include "arm64_gic.h"
 
 /****************************************************************************