/* 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)
{
    xASSERT(GPIOBaseValid(ulPort));
    return(xHWREG(ulPort + GPIO_ISRC));
}