Re: [Xen-devel] [PATCH 04/10] VMX: New data structure member to support PML

2015-03-29 Thread Kai Huang
On 03/28/2015 04:48 AM, Andrew Cooper wrote: On 27/03/15 02:35, Kai Huang wrote: A new 4K page pointer is added to arch_vmx_struct as PML buffer for vcpu. And a new 'status' field is added to vmx_domain to indicate whether PML is enabled for the domain or not. The 'status' field also can be us

Re: [Xen-devel] [PATCH 04/10] VMX: New data structure member to support PML

2015-03-27 Thread Andrew Cooper
On 27/03/15 02:35, Kai Huang wrote: > A new 4K page pointer is added to arch_vmx_struct as PML buffer for vcpu. And > a > new 'status' field is added to vmx_domain to indicate whether PML is enabled > for > the domain or not. The 'status' field also can be used for further similiar > purpose. > >

[Xen-devel] [PATCH 04/10] VMX: New data structure member to support PML

2015-03-26 Thread Kai Huang
A new 4K page pointer is added to arch_vmx_struct as PML buffer for vcpu. And a new 'status' field is added to vmx_domain to indicate whether PML is enabled for the domain or not. The 'status' field also can be used for further similiar purpose. Note both new members don't have to be initialized t