BIOS32_START
for (va = ISA_HOLE_VADDR(BIOS32_START);
if (h->entry <= BIOS32_START || h->entry >= BIOS32_END)
if (ent <= BIOS32_START || ent >= BIOS32_END)
for (pa = trunc_page(BIOS32_START),
va += trunc_page(BIOS32_START);
#define BIOS32_END (BIOS32_START + BIOS32_SIZE - 0x10)