GDATA_SEL
set_mem_segment(GDT_ADDR_MEM(gdtstore, GDATA_SEL), 0,
HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), new->pcb_rsp0);
HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), pcb->pcb_rsp0);
setsegment(&gdtstore[GDATA_SEL].sd, 0, 0xfffff,
HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), pcb->pcb_esp0);
HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), pcb->pcb_esp0);
tss->tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
tss->__tss_ss = GSEL(GDATA_SEL, SEL_KPL);
cputss->tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
movl $GSEL(GDATA_SEL, SEL_KPL),%eax ; \
args.segment = GSEL(GDATA_SEL, SEL_KPL);
: "r" GSEL(GDATA_SEL, SEL_KPL), "0" (0xb10e), "1" (0),
: "r" GSEL(GDATA_SEL, SEL_KPL), "0" (0xb10f),
initctx->user_regs.ss = GSEL(GDATA_SEL, SEL_KPL);
initctx->user_regs.es = GSEL(GDATA_SEL, SEL_KPL);
initctx->user_regs.ds = GSEL(GDATA_SEL, SEL_KPL);
initctx->kernel_ss = GSEL(GDATA_SEL, SEL_KPL);
initctx->user_regs.ss = GSEL(GDATA_SEL, SEL_KPL);
initctx->user_regs.es = GSEL(GDATA_SEL, SEL_KPL);
initctx->user_regs.ds = GSEL(GDATA_SEL, SEL_KPL);
initctx->user_regs.fs = GSEL(GDATA_SEL, SEL_KPL);
initctx->kernel_ss = GSEL(GDATA_SEL, SEL_KPL);
vmx_vmwrite(VMCS_HOST_SS_SELECTOR, GSEL(GDATA_SEL, SEL_KPL));
vmx_vmwrite(VMCS_HOST_DS_SELECTOR, GSEL(GDATA_SEL, SEL_KPL));
vmx_vmwrite(VMCS_HOST_ES_SELECTOR, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_SS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_DS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_ES], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_FS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_GS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_SS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_DS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_ES], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_FS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_GS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));