bytgpio_write_pin
void bytgpio_write_pin(void *, int, int);
sc->sc_gpio.write_pin = bytgpio_write_pin;