skgpio_led_write
sc->sc_led_gc.gp_pin_write = skgpio_led_write;
void skgpio_led_write(void *, int, int);