/* Gets interrupt status for the specified GPIO port.  */
unsigned long GPIOPinIntStatus(unsigned long ulPort)
/* Gets interrupt status for the specified GPIO port.  */
unsigned long GPIOPinIntStatus(unsigned long ulPort)
{
    unsigned long ulPortBase;
    xASSERT(GPIOBaseValid(ulPort));
    ulPortBase = GPIOToPortGet(ulPort);
    return(xHWREG(ulPortBase + PORT_ISFR));
}