diff --git a/arch/arm/src/tiva/cc13xx/cc13xx_gpioirq.c b/arch/arm/src/tiva/cc13xx/cc13xx_gpioirq.c
index a9d5238d168..b48bf8a9ef9 100644
--- a/arch/arm/src/tiva/cc13xx/cc13xx_gpioirq.c
+++ b/arch/arm/src/tiva/cc13xx/cc13xx_gpioirq.c
@@ -88,7 +88,7 @@ static struct gpio_handler_s g_gpio_inthandler[TIVA_NIRQ_PINS];
  *
  ****************************************************************************/
 
-static int cc13xx_gpio_interrupt)(int irq, FAR void *context, FAR void *arg)
+static int cc13xx_gpio_interrupt(int irq, FAR void *context, FAR void *arg)
 {
   uint32_t evflags;
   uint32_t regval;
@@ -118,7 +118,8 @@ static int cc13xx_gpio_interrupt)(int irq, FAR void *context, FAR void *arg)
 
           FAR struct gpio_handler_s *handler = &g_gpio_inthandler[dio];
 
-          gpioinfo("dio=%d isr=%p arg=%p\n", dio, handler->isr, handler->arg);
+          gpioinfo("dio=%d isr=%p arg=%p\n", dio, handler->isr,
+                   handler->arg);
           handler->isr(irq, context, handler->arg);
 
           evflags &= ~diomask;