/* Lock the Configuration of a Group of Pins. 
The configuration of one or more pins of the given GPIO port is locked. There is no mechanism to unlock these via software. Unlocking occurs at the next reset. */
void gpio_port_config_lock(uint32_t gpio_port, uint16_t gpios)
/* Lock the Configuration of a Group of Pins. 
The configuration of one or more pins of the given GPIO port is locked. There is no mechanism to unlock these via software. Unlocking occurs at the next reset. */
void gpio_port_config_lock(uint32_t gpio_port, uint16_t gpios)
{
	GPIO_P_PINLOCKN(gpio_port) = ~gpios;
}