sun68k_bus_print
int sun68k_bus_print(void *, const char *);
config_attach(parent, cf, &ma, sun68k_bus_print, CFARGS_NONE);