From 3b0111de9c284eb5b52e73762b0de44f4874caa1 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

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

diff --git a/arch/arm/src/tiva/tiva_gpio.c b/arch/arm/src/tiva/tiva_gpio.c
index 247873bb67..9440a47b43 100644
--- a/arch/arm/src/tiva/tiva_gpio.c
+++ b/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;