__vrip_register_gpio
.vc_register_gpio = __vrip_register_gpio,
void __vrip_register_gpio(vrip_chipset_tag_t, hpcio_chip_t);