From 458b7bcfb41af0c6d653588a2f1c440ddc71dd06 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Mon, 23 Mar 2015 17:51:13 -0600
Subject: [PATCH] Tiva: Fix compile errors when GPIO interrupts are not enabled

---
 nuttx/arch/arm/src/tiva/tiva_gpio.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/nuttx/arch/arm/src/tiva/tiva_gpio.c b/nuttx/arch/arm/src/tiva/tiva_gpio.c
index 247873bb6..9440a47b4 100644
--- a/nuttx/arch/arm/src/tiva/tiva_gpio.c
+++ b/nuttx/arch/arm/src/tiva/tiva_gpio.c
@@ -635,6 +635,7 @@ static inline void tiva_initoutput(uint32_t pinset)
  *
  ****************************************************************************/
 
+#ifdef CONFIG_TIVA_GPIO_IRQS
 static inline void tiva_interrupt(uint32_t pinset)
 {
   uint8_t   port    = (pinset & GPIO_PORT_MASK) >> GPIO_PORT_SHIFT;
@@ -742,6 +743,7 @@ static inline void tiva_interrupt(uint32_t pinset)
   vdbg("IEV 0x%08x 0x%08x\n", ievset, regval);
 #endif
 }
+#endif
 
 /****************************************************************************
  * Name: tiva_portcontrol
@@ -862,12 +864,14 @@ int tiva_configgpio(uint32_t pinset)
       tiva_initoutput(pinset);
     }
 
+#ifdef CONFIG_TIVA_GPIO_IRQS
   /* Special setup for interrupt GPIO pins */
 
   else if (func == 7)
     {
       tiva_interrupt(pinset);
     }
+#endif
 
   irqrestore(flags);
   return OK;