/* Toggles GPIO. 
Toggles GPIO by GPIO number according to MUX list */
void gpio_toggle(uint32_t gpio)
/* Toggles GPIO. 
Toggles GPIO by GPIO number according to MUX list */
void gpio_toggle(uint32_t gpio)
{
	uint32_t port = GPIO(gpio / 32);
	GPIO_PTOR(port) = GPIO_OFFSET(gpio);
}