Symbol: BIOS32_END
sys/arch/x86/x86/bios32.c
131
p < (uint8_t *)ISA_HOLE_VADDR(BIOS32_END);
sys/arch/x86/x86/bios32.c
151
entry >= BIOS32_END) {
sys/arch/x86/x86/bios32.c
216
if (entry < BIOS32_START || entry >= BIOS32_END) {