Symbol: bios32_service
sys/arch/i386/pci/pcibios.c
147
if (bios32_service(BIOS32_MAKESIG('$', 'P', 'C', 'I'),
sys/arch/x86/include/bios32.h
77
int bios32_service(u_int32_t, bios32_entry_t, bios32_entry_info_t);