408 void GPIO_hwiIntFxn(uintptr_t portIndex)  in GPIO_hwiIntFxn()  argument
416     portCallbackInfo = &gpioCallbackInfo[portIndex];  in GPIO_hwiIntFxn()
417     portBase = getPortBase(portIndex);  in GPIO_hwiIntFxn()
535     uint32_t   portIndex;  in GPIO_setCallback()  local
556     portIndex = config->port & PORT_MASK;  in GPIO_setCallback()
559         gpioCallbackInfo[portIndex].pinIndex[pinNum] =  in GPIO_setCallback()
563         gpioCallbackInfo[portIndex].pinIndex[pinNum] = index;  in GPIO_setCallback()
584     uint32_t       portIndex;  in GPIO_setConfig()  local
661         portIndex = config->port & PORT_MASK;  in GPIO_setConfig()
662         portBitMask = 1 << portIndex;  in GPIO_setConfig()
667             hwiParams.arg = (uintptr_t) portIndex;  in GPIO_setConfig()
669             hwiHandle = HwiP_create(portInterruptIds[portIndex], GPIO_hwiIntFxn,  in GPIO_setConfig()