/* Get interrupt status for the specified GPIO port.  */
unsigned long xGPIOPinIntStatus(unsigned long ulPort)
/* Get interrupt status for the specified GPIO port.  */
unsigned long xGPIOPinIntStatus(unsigned long ulPort)
{
	return GPIOPinIntStatus(ulPort);
}