/* Gets interrupt status for the specified GPIO port.  */
unsigned long GPIOPinIntStatus(void)
/* Gets interrupt status for the specified GPIO port.  */
unsigned long GPIOPinIntStatus(void)
{
    return(xHWREG(EXTI_PR));
}