bios32_service    253 arch/i386/include/biosvar.h int  bios32_service(u_int32_t, bios32_entry_t, bios32_entry_info_t);
bios32_service    158 arch/i386/pci/pcibios.c 	rv = bios32_service(PCIBIOS_SIGNATURE, &pcibios_entry,