/* Removes an interrupt handler for a GPIO port. */
void GPIOIntUnregister(unsigned long ulPort)
/* Removes an interrupt handler for a GPIO port. */
void GPIOIntUnregister(unsigned long ulPort)
{
    ASSERT(GPIOBaseValid(ulPort));
    ulPort = GPIOGetIntNumber(ulPort);
    IntDisable(ulPort);
    IntUnregister(ulPort);
}