From 0aa571d359f8d7834e231efc103512e54b44d135 Mon Sep 17 00:00:00 2001
From: David Sidrane <david_s5@nscdg.com>
Date: Tue, 28 Jun 2016 12:45:08 -1000
Subject: [PATCH] Fix warnings

---
 configs/nucleo-144/src/stm32_buttons.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configs/nucleo-144/src/stm32_buttons.c b/configs/nucleo-144/src/stm32_buttons.c
index c2d16e50b1b..ff0e64d7642 100644
--- a/configs/nucleo-144/src/stm32_buttons.c
+++ b/configs/nucleo-144/src/stm32_buttons.c
@@ -40,9 +40,13 @@
 
 #include <nuttx/config.h>
 
+#include <stddef.h>
+
 #include <nuttx/irq.h>
 #include <nuttx/board.h>
 
+#include <arch/board/board.h>
+
 #include "stm32_gpio.h"
 #include "nucleo-144.h"