vrc4172gpio_port_write
void vrc4172gpio_port_write(hpcio_chip_t, int, int);
.hc_portwrite = vrc4172gpio_port_write,