/* Disable output pins. 
Onlyc the ones where bits are set to "1" are touched, everything else remains in the old state. */
void gpio_disable(uint32_t gpioport, uint32_t gpios)
/* Disable output pins. 
Onlyc the ones where bits are set to "1" are touched, everything else remains in the old state. */
void gpio_disable(uint32_t gpioport, uint32_t gpios)
{
	GPIO_GPERC(gpioport) = gpios;
}