diff --git a/arch/arm/src/armv7-a/gic.h b/arch/arm/src/armv7-a/gic.h
index c60c64a01d..ec142f32ca 100644
--- a/arch/arm/src/armv7-a/gic.h
+++ b/arch/arm/src/armv7-a/gic.h
@@ -2,7 +2,7 @@
  * arch/arm/src/armv7-a/gic.h
  * Generic Interrupt Controller Version 2 Definitions
  *
- *   Copyright (C) 2016 Gregory Nutt. All rights reserved.
+ *   Copyright (C) 2016, 2019 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>
  *
  * Reference:
@@ -50,8 +50,10 @@
 
 #include "nuttx/config.h"
 
-#include <sys/types.h>
-#include <stdint.h>
+#ifndef __ASSEMBLY__
+#  include <sys/types.h>
+#  include <stdint.h>
+#endif
 
 #include "mpcore.h"
 #include "up_arch.h"