GPROC0_SEL
set_sys_segment(GDT_ADDR_SYS(ci->ci_gdt, GPROC0_SEL), ci->ci_tss,
ltr(GSYSSEL(GPROC0_SEL, SEL_KPL));
set_sys_segment(GDT_ADDR_SYS(cpu_info_primary.ci_gdt, GPROC0_SEL),
ltr(GSYSSEL(GPROC0_SEL, SEL_KPL));
if (vmwrite(VMCS_HOST_IA32_TR_SEL, GSYSSEL(GPROC0_SEL, SEL_KPL))) {