/* Registers an interrupt handler for an individual pin of a GPIO port. */
void GPIOIntRegisterPin(uint32_t ui32Port, uint32_t ui32Pin, void(*pfnIntHandler)(void))
/* Registers an interrupt handler for an individual pin of a GPIO port. */
void GPIOIntRegisterPin(uint32_t ui32Port, uint32_t ui32Pin, void(*pfnIntHandler)(void))
{
    uint32_t ui32Int;
    ASSERT((ui32Port == GPIO_PORTP_BASE) || (ui32Port == GPIO_PORTQ_BASE));
    ASSERT((ui32Pin > 0) && (ui32Pin < 8));
    ASSERT(pfnIntHandler != 0);
    ui32Int = _GPIOIntNumberGet(ui32Port);
    IntRegister((ui32Int + ui32Pin), pfnIntHandler);
    IntEnable(ui32Int + ui32Pin);
}