/* Writes a value to the specified pin(s). 
The pin(s) are specified using a bit-packed byte, where each bit that is set identifies the pin to be accessed, and where bit 0 of the byte represents GPIO port pin 0, bit 1 represents GPIO port pin 1, and so on. */
void GPIOPinWrite(unsigned long ulPort, unsigned long ulPins, unsigned char ucVal)
/* Writes a value to the specified pin(s). 
The pin(s) are specified using a bit-packed byte, where each bit that is set identifies the pin to be accessed, and where bit 0 of the byte represents GPIO port pin 0, bit 1 represents GPIO port pin 1, and so on. */
void GPIOPinWrite(unsigned long ulPort, unsigned long ulPins, unsigned char ucVal)
{
    xASSERT(GPIOBaseValid(ulPort));
    xHWREG(ulPort + GPIO_PDOR) = ((ucVal & 1) ?
                                (xHWREG(ulPort + GPIO_PDOR) | ulPins) :
                                (xHWREG(ulPort + GPIO_PDOR) & ~(ulPins)));
}