BIOS_END
e820__range_remove(BIOS_BEGIN, BIOS_END - BIOS_BEGIN, E820_TYPE_RAM);
addr <= PAGE_OFFSET + BIOS_END) {
#define BIOS_PFN_END PFN_DOWN(BIOS_END - 1)
if (start < BIOS_END)
start = BIOS_END;
set_memory_x(PAGE_OFFSET + BIOS_BEGIN, (BIOS_END - BIOS_BEGIN) >> PAGE_SHIFT);