/* Gets output data for the specified GPIO port.  */
long GPIOPinPortDoutGet(unsigned long ulPort)
/* Gets output data for the specified GPIO port.  */
long GPIOPinPortDoutGet(unsigned long ulPort)
{
    xASSERT(GPIOBaseValid(ulPort));
    return(xHWREG(ulPort + GPIO_DOUT));
}