Symbol: bios32_entry_t
sys/arch/i386/i386/bios.c
645
bios32_service(uint32_t service, bios32_entry_t e, bios32_entry_info_t ei)
sys/arch/i386/include/biosvar.h
292
int bios32_service(uint32_t, bios32_entry_t, bios32_entry_info_t);