diff --git a/arch/hc/src/common/up_internal.h b/arch/hc/src/common/up_internal.h
index fe7cac257d..1e79e743cd 100755
--- a/arch/hc/src/common/up_internal.h
+++ b/arch/hc/src/common/up_internal.h
@@ -41,8 +41,10 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
-#include <stdint.h>
- 
+#ifndef __ASSEMBLY__
+#  include <stdint.h>
+#endif
+
 /****************************************************************************
  * Definitions
  ****************************************************************************/
diff --git a/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h b/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h
index fb8f2662a5..550580bda7 100755
--- a/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h
+++ b/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h
@@ -42,8 +42,10 @@
 
 #include <nuttx/config.h>
 
-#include <stdint.h>
-#include <stdbool.h>
+#ifndef __ASSEMBLY__
+#  include <stdint.h>
+#  include <stdbool.h>
+#endif
 
 #include "up_internal.h"
 #include "chip.h"