Symbol: GBIOSARGS_SEL
sys/i386/i386/bios.c
296
ssdtosd(&ssd, &p_gdt[GBIOSARGS_SEL].sd);
sys/i386/i386/bios.c
394
(GSEL(GBIOSARGS_SEL, SEL_KPL) << 16);