Symbol: BIOS32_END
sys/arch/i386/i386/bios.c
206
va < (uint8_t *)ISA_HOLE_VADDR(BIOS32_END); va += 16) {
sys/arch/i386/i386/bios.c
220
if (h->entry <= BIOS32_START || h->entry >= BIOS32_END)
sys/arch/i386/i386/bios.c
664
if (ent <= BIOS32_START || ent >= BIOS32_END)
sys/arch/i386/i386/bios.c
667
endpa = round_page(BIOS32_END);
sys/arch/i386/i386/bios.c
676
setgdt(GBIOS32_SEL, (caddr_t)va, BIOS32_END, SDT_MEMERA, SEL_KPL, 1, 0);
sys/arch/i386/i386/bios.c
709
size = round_page(BIOS32_END);