/* Set GPIO port mask register of the specified GPIO 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 GPIOPinMaskSet(unsigned long ulPort, unsigned long ulPins)
/* Set GPIO port mask register of the specified GPIO 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 GPIOPinMaskSet(unsigned long ulPort, unsigned long ulPins)
{
    unsigned long ulPortBase;
    unsigned long ulBit;
    xASSERT(GPIOBaseValid(ulPort));
	ulPortBase = GPIOToPortGet(ulPort);
    for(ulBit = 0; ulBit < 32; ulBit++)
    {
        if(((ulPins >> ulBit) & 1) != 0)
        { 
	    if(ulBit < 16)
            {
	        xHWREG(ulPortBase + PORT_GPCLR) |= (1 << (ulBit + 16));
            }
            else
	    {
	        xHWREG(ulPortBase + PORT_GPCHR) |= (1 << (ulBit + 16)); 
	    }
        }
    }
}