Re: [Xen-devel] [PATCH] x86: Allow PV guest set X86_CR4_PCE flag

2015-08-10 Thread Boris Ostrovsky
On 08/10/2015 10:37 AM, Andrew Cooper wrote: On 10/08/15 15:27, Boris Ostrovsky wrote: With added PV support for VPMU, guests may legitimately decide to set CR4's PCE flag. We should allow this when VPMU is enabled. Signed-off-by: Boris Ostrovsky boris.ostrov...@oracle.com Why? Even a PV

Re: [Xen-devel] [PATCH] x86: Allow PV guest set X86_CR4_PCE flag

2015-08-10 Thread Boris Ostrovsky
On 08/10/2015 11:02 AM, Andrew Cooper wrote: On 10/08/15 15:49, Boris Ostrovsky wrote: On 08/10/2015 10:37 AM, Andrew Cooper wrote: On 10/08/15 15:27, Boris Ostrovsky wrote: With added PV support for VPMU, guests may legitimately decide to set CR4's PCE flag. We should allow this when VPMU

Re: [Xen-devel] [PATCH] x86: Allow PV guest set X86_CR4_PCE flag

2015-08-10 Thread Andrew Cooper
On 10/08/15 15:27, Boris Ostrovsky wrote: With added PV support for VPMU, guests may legitimately decide to set CR4's PCE flag. We should allow this when VPMU is enabled. Signed-off-by: Boris Ostrovsky boris.ostrov...@oracle.com Why? Even a PV guest using VPMU should know that it doesn't

Re: [Xen-devel] [PATCH] x86: Allow PV guest set X86_CR4_PCE flag

2015-08-10 Thread Andrew Cooper
On 10/08/15 15:49, Boris Ostrovsky wrote: On 08/10/2015 10:37 AM, Andrew Cooper wrote: On 10/08/15 15:27, Boris Ostrovsky wrote: With added PV support for VPMU, guests may legitimately decide to set CR4's PCE flag. We should allow this when VPMU is enabled. Signed-off-by: Boris Ostrovsky

[Xen-devel] [PATCH] x86: Allow PV guest set X86_CR4_PCE flag

2015-08-10 Thread Boris Ostrovsky
With added PV support for VPMU, guests may legitimately decide to set CR4's PCE flag. We should allow this when VPMU is enabled. Signed-off-by: Boris Ostrovsky boris.ostrov...@oracle.com --- xen/arch/x86/cpu/vpmu.c | 19 +++ xen/arch/x86/domain.c| 13 -