vrc4172gpio_print
int vrc4172gpio_print(void *, const char *);
while (config_found(self, &sc->sc_haa, vrc4172gpio_print, CFARGS_NONE)) ;
config_found(self, &sc->sc_haa, vrc4172gpio_print, CFARGS_NONE);