/* Get the GPIO Peripheral Id from a short Pin.  */
unsigned long GPIOPinToPeripheralId(unsigned long ulPort, unsigned long ulPin)
/* Get the GPIO Peripheral Id from a short Pin.  */
unsigned long GPIOPinToPeripheralId(unsigned long ulPort, unsigned long ulPin)
{
    xASSERT(GPIOBaseValid(ulPort));
    return SYSCTL_PERIPH_GPIO;
}