X86BIOS_ROM_BASE
if (x86bios_rom_phys != 0 && x86bios_rom_phys < X86BIOS_ROM_BASE &&
X86BIOS_ROM_BASE - x86bios_rom_phys <= 128 * 1024)
x86bios_rom_phys = X86BIOS_ROM_BASE;
if (x86bios_rom_phys < X86BIOS_ROM_BASE &&
X86BIOS_ROM_BASE - x86bios_rom_phys, PAT_WRITE_BACK) != 0)
if (x86bios_rom_phys < X86BIOS_ROM_BASE)
x86bios_rom_phys, (vm_paddr_t)X86BIOS_ROM_BASE - 1,
(vm_paddr_t)X86BIOS_ROM_BASE,
(caddr_t)x86bios_rom + X86BIOS_ROM_BASE - x86bios_rom_phys);