In the KSDK, there is a GPIO_DRV_ClearPinIntFlag to clear the interrupt for a particular pin on a port.
Why is there not a equivalent function to get the interrupt status of a pin?
Like GPIO_DRV_GetPintIntFlag or something like that to you can easily test in the port wide PORTx_IRQHandler which pin was causing the interrupt.
There is already a PORT_HAL_IsPinIntPending ...