axi_print
config_attach(parent, cf, aux, axi_print, CFARGS_NONE);
static int axi_print(void *, const char *);