GDATA_SEL
static uint32_t _kdatasel = GSEL(GDATA_SEL, SEL_KPL);
ASSYM(KDSEL, GSEL(GDATA_SEL, SEL_KPL));
[GDATA_SEL] = { /* 5 Data Descriptor for kernel */
ASSYM(KERNEL_SS, GSEL(GDATA_SEL, SEL_KPL));
return (GSEL(GDATA_SEL, SEL_KPL));
static uint32_t _kdatasel = GSEL(GDATA_SEL, SEL_KPL);
ASSYM(KDSEL, GSEL(GDATA_SEL, SEL_KPL));
gdt_segs[GDATA_SEL].ssd_limit = atop(0 - 1);
common_tss0.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
dblfault_tss->tss_ss2 = GSEL(GDATA_SEL, SEL_KPL);
dblfault_tss->tss_gs = GSEL(GDATA_SEL, SEL_KPL);
common_tssp->tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
ss = GSEL(GDATA_SEL, SEL_KPL);
ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);