BIOS32_END        198 arch/i386/i386/bios.c 		    va < (u_int8_t *)ISA_HOLE_VADDR(BIOS32_END); va += 16) {
BIOS32_END        212 arch/i386/i386/bios.c 			if (h->entry <= BIOS32_START || h->entry >= BIOS32_END)
BIOS32_END        497 arch/i386/i386/bios.c 	if (ent <= BIOS32_START || ent >= BIOS32_END)
BIOS32_END        501 arch/i386/i386/bios.c 	endpa = round_page(BIOS32_END);
BIOS32_END        508 arch/i386/i386/bios.c 	setgdt(slot, (caddr_t)va, BIOS32_END, SDT_MEMERA, SEL_KPL, 1, 0);