Searched refs:dobiosdev (Results 1 – 1 of 1) sorted by relevance
64 int dobiosdev = 1; variable89 if (dobiosdev == 0) in startup_bios_disk()