/* Toggles the state of a port pin that is configured as an output. 
Toggles the current output level of a port pin. */
void port_pin_toggle_output_level(const uint8_t gpio_pin)
/* Toggles the state of a port pin that is configured as an output. 
Toggles the current output level of a port pin. */
void port_pin_toggle_output_level(const uint8_t gpio_pin)
{
	PortGroup *const port_base = port_get_group_from_gpio_pin(gpio_pin);
	uint32_t pin_mask  = (1UL << (gpio_pin % 32));
	port_base->OUTTGL.reg = pin_mask;
}