mainbus_print
config_found(self, &mba.mba_bios, mainbus_print);
config_found(self, &mba.mba_iaa, mainbus_print);
config_found(self, &caa, mainbus_print);
config_found(self, &mba.mba_pvba.pvba_busname, mainbus_print);
config_found(self, &mba.mba_pba, mainbus_print);
config_found(self, &mba, mainbus_print);
config_found(self, &mba.mba_busname, mainbus_print);
config_found(self, &mba, mainbus_print);
config_found(self, &mba, mainbus_print);
int mainbus_print(void *, const char *);
print = mainbus_print;
config_found(self, &mba.mba_bios, mainbus_print);
config_found(self, &mba.mba_iaa, mainbus_print);
config_found(self, &caa, mainbus_print);
config_found(self, &mba.mba_busname, mainbus_print);
config_found(self, &mba.mba_eaa, mainbus_print);
config_found(self, &mba.mba_pvba.pvba_busname, mainbus_print);
config_found(self, &mba.mba_pba, mainbus_print);
acpi_pciroots_attach(self, &mba.mba_pba, mainbus_print);
config_found(self, &mba.mba_eba, mainbus_print);
config_found(self, &mba.mba_iba, mainbus_print);
int mainbus_print(void *, const char *);
config_found(self, &mba, mainbus_print);
int mainbus_print(void *, const char *);
config_found(self, &mba, mainbus_print);
config_found(self, &mba, mainbus_print);
config_found(self, &mba, mainbus_print);
int mainbus_print(void *, const char *);
config_found(self, &caa, mainbus_print);
sys_platform->config_secondary_cpus(self, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, (void *)&devs[i], mainbus_print);
int mainbus_print(void *, const char *);
config_found(self, &caa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
config_found(self, &caa.caa_maa, mainbus_print);
int mainbus_print(void *, const char *);
config_found(self, &caa, mainbus_print);
print = mainbus_print;
print = mainbus_print;