/* Write a value to the specified pin(s). Write the corresponding bit values to the output pin(s) specified by  */
void xGPIOPinWrite(unsigned long ulPort, unsigned long ulPins, unsigned long ucVal)
/* Write a value to the specified pin(s). Write the corresponding bit values to the output pin(s) specified by  */
void xGPIOPinWrite(unsigned long ulPort, unsigned long ulPins, unsigned long ucVal)
{
    xASSERT(GPIOBaseValid(ulPort));
    xHWREG(ulPort + GPIO_DOUT) = ((ucVal & 1) ?
                                (xHWREG(ulPort + GPIO_DOUT) | ulPins) :
                                (xHWREG(ulPort + GPIO_DOUT) & ~(ulPins)));
}