Searched refs:bios32_service (Results 1 – 3 of 3) sorted by relevance
292 int bios32_service(uint32_t, bios32_entry_t, bios32_entry_info_t);
150 rv = bios32_service(PCIBIOS_SIGNATURE, &pcibios_entry, in pcibiosprobe()
645 bios32_service(uint32_t service, bios32_entry_t e, bios32_entry_info_t ei) in bios32_service() function