/* Registers an interrupt handler for a GPIO port. */
void GPIOIntRegister(uint32_t ui32Port, void(*pfnIntHandler)(void))
/* Registers an interrupt handler for a GPIO port. */
void GPIOIntRegister(uint32_t ui32Port, void(*pfnIntHandler)(void))
{
    uint32_t ui32Int;
    ASSERT(_GPIOBaseValid(ui32Port));
    ui32Int = _GPIOIntNumberGet(ui32Port);
    ASSERT(ui32Int != 0);
    IntRegister(ui32Int, pfnIntHandler);
    IntEnable(ui32Int);
}