/* Set a value 0 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 GPIOPinReset(unsigned long ulPort, unsigned long ulPins)
/* Set a value 0 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 GPIOPinReset(unsigned long ulPort, unsigned long ulPins)
{
    xASSERT(GPIOBaseValid(ulPort));
    xHWREG(ulPort + GPIO_BRR) = ulPins;
}