Searched refs:vmx_guest_segs (Results 1 – 1 of 1) sorted by relevance
844 } vmx_guest_segs[NVMM_X64_NSEG] = { variable2520 vmx_vmwrite(vmx_guest_segs[idx].selector, segs[idx].selector); in vmx_vcpu_setstate_seg()2521 vmx_vmwrite(vmx_guest_segs[idx].attrib, attrib); in vmx_vcpu_setstate_seg()2523 vmx_vmwrite(vmx_guest_segs[idx].limit, segs[idx].limit); in vmx_vcpu_setstate_seg()2524 vmx_vmwrite(vmx_guest_segs[idx].base, segs[idx].base); in vmx_vcpu_setstate_seg()2533 selector = vmx_vmread(vmx_guest_segs[idx].selector); in vmx_vcpu_getstate_seg()2534 attrib = vmx_vmread(vmx_guest_segs[idx].attrib); in vmx_vcpu_getstate_seg()2536 limit = vmx_vmread(vmx_guest_segs[idx].limit); in vmx_vcpu_getstate_seg()2537 base = vmx_vmread(vmx_guest_segs[idx].base); in vmx_vcpu_getstate_seg()