>>> 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)
vmxon_region_pa being paddr_t, I think this would better be explicitly paddr_t, too (rather than unsigned long). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
