/* Get the GPIO pin number from a short Pin.  */
unsigned long GPIOPinToPin(unsigned long ulPort, unsigned long ulPin)
/* Get the GPIO pin number from a short Pin.  */
unsigned long GPIOPinToPin(unsigned long ulPort, unsigned long ulPin)
{
    xASSERT(GPIOBaseValid(ulPort));
    return ulPin;
}