From 8713ee3428f388abf953beb5adf517b3adc692d7 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 17 Apr 2014 10:01:15 -0600
Subject: [PATCH] SAMA5 board.h files use type xcpt_t and so must include
 nuttx/irq.h for type xcpt_t

---
 configs/sama5d3-xplained/include/board.h | 1 +
 configs/sama5d3x-ek/include/board.h      | 1 +
 2 files changed, 2 insertions(+)

diff --git a/configs/sama5d3-xplained/include/board.h b/configs/sama5d3-xplained/include/board.h
index a49c5761370..0d976802a97 100644
--- a/configs/sama5d3-xplained/include/board.h
+++ b/configs/sama5d3-xplained/include/board.h
@@ -41,6 +41,7 @@
  ************************************************************************************/
 
 #include <nuttx/config.h>
+#include <nuttx/irq.h>
 
 /************************************************************************************
  * Pre-processor Definitions
diff --git a/configs/sama5d3x-ek/include/board.h b/configs/sama5d3x-ek/include/board.h
index 8c64ed09b17..d054a8ce33e 100644
--- a/configs/sama5d3x-ek/include/board.h
+++ b/configs/sama5d3x-ek/include/board.h
@@ -41,6 +41,7 @@
  ************************************************************************************/
 
 #include <nuttx/config.h>
+#include <nuttx/irq.h>
 
 /************************************************************************************
  * Pre-processor Definitions