Searched refs:bioshigh (Results 1 – 1 of 1) sorted by relevance
131 uint32_t bioshigh; in rombios_load() local139 bioshigh = rombios_highbios_setup(); in rombios_load()142 info->bios32_entry = bioshigh; in rombios_load()
Completed in 2 milliseconds