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