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