/* Clear a group of Pins. 
Clear a group of Pins for the given port. */
void gpio_clear(uint32_t gpioport, uint32_t gpios)
/* Clear a group of Pins. 
Clear a group of Pins for the given port. */
void gpio_clear(uint32_t gpioport, uint32_t gpios)
{
	PORT_OUTCLR(gpioport) = gpios;
}