Searched refs:vmx_guest_segs (Results 1 – 1 of 1) sorted by relevance
835 } vmx_guest_segs[NVMM_X64_NSEG] = { variable2476 vmx_vmwrite(vmx_guest_segs[idx].selector, segs[idx].selector); in vmx_vcpu_setstate_seg()2477 vmx_vmwrite(vmx_guest_segs[idx].attrib, attrib); in vmx_vcpu_setstate_seg()2479 vmx_vmwrite(vmx_guest_segs[idx].limit, segs[idx].limit); in vmx_vcpu_setstate_seg()2480 vmx_vmwrite(vmx_guest_segs[idx].base, segs[idx].base); in vmx_vcpu_setstate_seg()2489 selector = vmx_vmread(vmx_guest_segs[idx].selector); in vmx_vcpu_getstate_seg()2490 attrib = vmx_vmread(vmx_guest_segs[idx].attrib); in vmx_vcpu_getstate_seg()2492 limit = vmx_vmread(vmx_guest_segs[idx].limit); in vmx_vcpu_getstate_seg()2493 base = vmx_vmread(vmx_guest_segs[idx].base); in vmx_vcpu_getstate_seg()