vmx_read_guest_seg_base
var->base = vmx_read_guest_seg_base(vmx, seg);
return vmx_read_guest_seg_base(to_vmx(vcpu), seg);