From fd1b82ae4b8ee97c15df045abe620b0f193a1a52 Mon Sep 17 00:00:00 2001
From: Ouss4 <abdelatif.guettouche@gmail.com>
Date: Sat, 23 Nov 2019 08:59:02 -0600
Subject: [PATCH] arch/mips/src/pic32mz/pic32mz-gpio.h: Include stdbool and
 stdint, they are used in this file.

---
 arch/mips/src/pic32mz/pic32mz-gpio.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/arch/mips/src/pic32mz/pic32mz-gpio.h b/arch/mips/src/pic32mz/pic32mz-gpio.h
index cc05afc714..76ab10e79e 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>