>>> On 13.12.16 at 13:16, <haozhong.zh...@intel.com> wrote: > --- a/xen/arch/x86/hvm/vmx/vvmx.c > +++ b/xen/arch/x86/hvm/vmx/vvmx.c > @@ -32,6 +32,18 @@ static DEFINE_PER_CPU(u64 *, vvmcs_buf); > > static void nvmx_purge_vvmcs(struct vcpu *v); > > +/* > + * When a vcpu is out of VMXON region, set its vmxon_region_pa to > + * INVALID_VMXON_REGION_PA. We cannot use 0, because 0 is also a valid > + * VMXON region address. > + */ > +#define INVALID_VMXON_REGION_PA (~0UL)
And btw, having looked at patch 2 - any reason you can't simply re-use VMCX_EADDR here? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
