/* General Purpose Input/Outputs Toggle a Group of Pins. 
Toggle one or more pins of the given GPIO port. The non-toggled pins are not affected. */
void gpio_toggle(uint32_t gpioport, uint8_t gpios)
/* General Purpose Input/Outputs Toggle a Group of Pins. 
Toggle one or more pins of the given GPIO port. The non-toggled pins are not affected. */
void gpio_toggle(uint32_t gpioport, uint8_t gpios)
{
	GPIO_DATA(gpioport)[gpios] ^= GPIO_ALL;
}