bios32_entry_info_t  477 arch/i386/i386/bios.c bios32_service(u_int32_t service, bios32_entry_t e, bios32_entry_info_t ei)
bios32_entry_info_t  253 arch/i386/include/biosvar.h int  bios32_service(u_int32_t, bios32_entry_t, bios32_entry_info_t);