ifpga_print
config_attach(parent, cf, &ifa, ifpga_print, CFARGS_NONE);
static int ifpga_print (void *, const char *);