NVMM_X64_SEG_CS
instr->legpref.seg = NVMM_X64_SEG_CS;
ret = segment_check(&state->segs[NVMM_X64_SEG_CS], gva,
segment_apply(&state->segs[NVMM_X64_SEG_CS], &gva);
seg = NVMM_X64_SEG_CS;
ret = segment_check(&state->segs[NVMM_X64_SEG_CS], gva,
segment_apply(&state->segs[NVMM_X64_SEG_CS], &gva);
return (state->segs[NVMM_X64_SEG_CS].attrib.l != 0);
return (state->segs[NVMM_X64_SEG_CS].attrib.l == 0) &&
(state->segs[NVMM_X64_SEG_CS].attrib.def == 1);
return (state->segs[NVMM_X64_SEG_CS].attrib.l == 0) &&
(state->segs[NVMM_X64_SEG_CS].attrib.def == 0);
[NVMM_X64_SEG_CS] = {
svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_CS],
svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_CS],
vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_CS);
vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);
[NVMM_X64_SEG_CS] = {
init_seg(&state->segs[NVMM_X64_SEG_CS], SDT_MEMERA, GSEL(GCODE_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_CS], SDT_MEMERA, GSEL(GCODE_SEL, SEL_KPL));
state->segs[NVMM_X64_SEG_CS].base = 0;
state->segs[NVMM_X64_SEG_CS].limit = 0x2FFF;