bios_print         70 arch/i386/i386/bios.c int bios_print(void *, const char *);
bios_print        304 arch/i386/i386/bios.c 		config_found(self, &ba, bios_print);
bios_print        315 arch/i386/i386/bios.c 		config_found(self, &ba, bios_print);