BIOS32_START
memcpy(pcibios_shadow, ISA_HOLE_VADDR(BIOS32_START), BIOS32_SIZE);
(u_long)ISA_HOLE_VADDR(BIOS32_START));
#define BIOS32_END (BIOS32_START + BIOS32_SIZE - 0x10)
for (p = (uint8_t *)ISA_HOLE_VADDR(BIOS32_START);
if (entry < BIOS32_START ||
if (entry < BIOS32_START || entry >= BIOS32_END) {