Symbol: GBIOS32_SEL
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
693
e->segment = GSEL(GBIOS32_SEL, SEL_KPL);