diff --git a/arch/mips/src/pic32mz/pic32mz-gpio.h b/arch/mips/src/pic32mz/pic32mz-gpio.h
index cc05afc7147..76ab10e79ec 100644
--- a/arch/mips/src/pic32mz/pic32mz-gpio.h
+++ b/arch/mips/src/pic32mz/pic32mz-gpio.h
@@ -42,6 +42,12 @@
 
 #include <nuttx/config.h>
 #include <nuttx/compiler.h>
+
+#ifndef __ASSEMBLY__
+#  include <stdint.h>
+#  include <stdbool.h>
+#endif
+
 #include <nuttx/irq.h>
 #include <arch/pic32mz/irq.h>