/* Toggle level of a group of Pins. 
Toggle one or more pins of the givent port. */
void gpio_toggle(uint32_t gpioport, uint32_t gpios)
/* Toggle level of a group of Pins. 
Toggle one or more pins of the givent port. */
void gpio_toggle(uint32_t gpioport, uint32_t gpios)
{
	PORT_OUTTGL(gpioport) = gpios;
}