diff --git a/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c b/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c
index 1bceee1b63d..8eda22140ae 100644
--- a/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c
+++ b/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c
@@ -739,7 +739,7 @@ void tiva_gpioirqdisable(pinconfig_t pinconfig)
  *
  ****************************************************************************/
 
-void tiva_gpioirqclear(pinconfig)
+void tiva_gpioirqclear(pinconfig_t pinconfig)
 {
   uint8_t port   = (pinconfig & GPIO_PORT_MASK) >> GPIO_PORT_SHIFT;
   uint8_t pin    = (pinconfig & GPIO_PIN_MASK);