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