/* Registers an interrupt handler for a GPIO port. */
void GPIOIntRegister(unsigned long ulPort, void(*pfnIntHandler)(void))
/* Registers an interrupt handler for a GPIO port. */
void GPIOIntRegister(unsigned long ulPort, void(*pfnIntHandler)(void))
{
    ASSERT(GPIOBaseValid(ulPort));
    ulPort = GPIOGetIntNumber(ulPort);
    IntRegister(ulPort, pfnIntHandler);
    IntEnable(ulPort);
}