Symbol: bios32_service
sys/arch/i386/include/biosvar.h
292
int bios32_service(uint32_t, bios32_entry_t, bios32_entry_info_t);
sys/arch/i386/pci/pcibios.c
150
rv = bios32_service(PCIBIOS_SIGNATURE, &pcibios_entry,