GCODE_SEL
static uint32_t _kcodesel = GSEL(GCODE_SEL, SEL_KPL);
ASSYM(KCSEL, GSEL(GCODE_SEL, SEL_KPL));
msr = ((u_int64_t)GSEL(GCODE_SEL, SEL_KPL) << 32) |
[GCODE_SEL] = { /* 4 Code Descriptor for kernel */
ip->gd_selector = GSEL(GCODE_SEL, SEL_KPL);
KASSERT(gd->gd_selector == GSEL(GCODE_SEL, SEL_KPL), ("gate descriptor "
ASSYM(KERNEL_CS, GSEL(GCODE_SEL, SEL_KPL));
return (GSEL(GCODE_SEL, SEL_KPL));
bios32(&args, bios32_SDCI, GSEL(GCODE_SEL, SEL_KPL));
if (sel == GSEL(GCODE_SEL, SEL_KPL))
static uint32_t _kcodesel = GSEL(GCODE_SEL, SEL_KPL);
ASSYM(KCSEL, GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_UPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_UPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
gdt_segs[GCODE_SEL].ssd_limit = atop(0 - 1);
dblfault_tss->tss_cs = GSEL(GCODE_SEL, SEL_KPL);
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
SDT_SYS386IGT, SEL_KPL, GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
if (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))) {
return (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL)));
#define GSEL_ATPIC GSEL(GCODE_SEL, SEL_KPL)
GSEL(GCODE_SEL, SEL_KPL));
GSEL(GCODE_SEL, SEL_KPL));
#define GSEL_APIC GSEL(GCODE_SEL, SEL_KPL)