I'm playing with interrupts using my Tiva C series launchpad (chip is the TM4C123GH6PM), and the latest TivaWare version. I'm reading through the API for registering interrupt handlers on a GPIO port, but I can't find some info: the function GPIOIntRegister takes as inputs a GPIO port base address, and a pointer to the interrupt handling functions. Prototype is:
void GPIOIntRegister(uint32_t ui32Port, void (*pfnIntHandler)(void))
Where can I find valid values for pfnIntHandler? The example code uses PortEIntHandler, so I'm pretty sure I can deduce what I would need to do to use, say,