/* 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 GPIOPinLockConfig(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 GPIOPinLockConfig(unsigned long ulPort, unsigned long ulPins)
{
    unsigned long ulTemp = GPIO_LCKR_KEY;
    xASSERT(GPIOBaseValid(ulPort));
  	xHWREG(ulPort + GPIO_LCKR) &= ulTemp;
	  xHWREG(ulPort + GPIO_LCKR) = ulPins;
    xHWREG(ulPort + GPIO_LCKR) = (ulPins | ulTemp);
	  xHWREG(ulPort + GPIO_LCKR) = ulPins;
    xHWREG(ulPort + GPIO_LCKR) = (ulPins | ulTemp);;
    ulTemp = xHWREG(ulPort + GPIO_LCKR);
    ulTemp = xHWREG(ulPort + GPIO_LCKR);
}