/* Toggle a Group of Pins. 
Toggle one or more pins of GPIO. The non-toggled pins are not affected. */
void gpio_toggle(uint16_t gpios)
/* Toggle a Group of Pins. 
Toggle one or more pins of GPIO. The non-toggled pins are not affected. */
void gpio_toggle(uint16_t gpios)
{
	uint32_t curr_status = GPIO_ADATA & gpios;
	GPIO_ADATA = (GPIO_ADATA & (~gpios)) | (~curr_status);
}