BCM2835_GPIO_GPPUD
BCM_GPIO_WRITE(sc, BCM2835_GPIO_GPPUD(0), state);
BCM_GPIO_WRITE(sc, BCM2835_GPIO_GPPUD(0), 0);