/* Unlocks a GPIO pin which had been previously locked. */
void GPIOUnlockPin(uint32_t ui32Port, uint8_t ui8Pins)
/* Unlocks a GPIO pin which had been previously locked. */
void GPIOUnlockPin(uint32_t ui32Port, uint8_t ui8Pins)
{
    ASSERT(_GPIOBaseValid(ui32Port));
    HWREG(ui32Port + GPIO_O_LOCK) = GPIO_LOCK_KEY;
    HWREG(ui32Port + GPIO_O_CR) |= ui8Pins;
}