vmx_read_guest_seg_ar
ar = vmx_read_guest_seg_ar(vmx, seg);
ar = vmx_read_guest_seg_ar(vmx, VCPU_SREG_SS);
u32 ar = vmx_read_guest_seg_ar(to_vmx(vcpu), VCPU_SREG_CS);