bcm2835gpio_gpio_pin_write
static void bcm2835gpio_gpio_pin_write(void *, int, int);
sc->sc_gpio_gc.gp_pin_write = bcm2835gpio_gpio_pin_write;
bcm2835gpio_gpio_pin_write(sc, gpin->pin_no, val);