BIOS_END
if ((off >= VGA_START && off <= BIOS_END) ||
if (off <= BIOS_END || !amd64_pa_used(off))
if (off <= BIOS_END ||