From 416aa996209dcbd73090d2a431616d3fbad85c86 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 22 Jul 2016 14:57:30 -0600
Subject: [PATCH] Correct name, not CONFIG_GPIO_IRQ but CONFIG_SAM34_GPIO_IRQ

---
 configs/sam4s-xplained/include/board.h | 19 +------------------
 1 file changed, 1 insertion(+), 18 deletions(-)

diff --git a/configs/sam4s-xplained/include/board.h b/configs/sam4s-xplained/include/board.h
index 7fc97d5ccc..e3fdda9890 100644
--- a/configs/sam4s-xplained/include/board.h
+++ b/configs/sam4s-xplained/include/board.h
@@ -44,24 +44,7 @@
 
 #ifndef __ASSEMBLY__
 #  include <stdint.h>
-#  ifdef CONFIG_SAM34_GPIO_IRQ
-#    include <arch/irq.h>
-#  endif
-#endif
-
-/************************************************************************************
- * Pre-processor Definitions
- ************************************************************************************/
-
-/************************************************************************************
- * Included Files
- ************************************************************************************/
-
-#include <nuttx/config.h>
-
-#ifndef __ASSEMBLY__
-#  include <stdint.h>
-#  ifdef CONFIG_SAM34_GPIO_IRQ
+#  ifdef CONFIG_SAM34_SAM34_GPIO_IRQ
 #    include <arch/irq.h>
 #  endif
 #endif