vmx_read_guest_seg_ar 3096 arch/x86/kvm/vmx/vmx.c 	ar = vmx_read_guest_seg_ar(vmx, seg);
vmx_read_guest_seg_ar 3133 arch/x86/kvm/vmx/vmx.c 		int ar = vmx_read_guest_seg_ar(vmx, VCPU_SREG_SS);
vmx_read_guest_seg_ar 3200 arch/x86/kvm/vmx/vmx.c 	u32 ar = vmx_read_guest_seg_ar(to_vmx(vcpu), VCPU_SREG_CS);