On Mon, Jun 13, 2016 at 03:48:45AM -0600, Jan Beulich wrote: > >>> On 10.06.16 at 20:17, <andrew.coop...@citrix.com> wrote: > > PKU lives in CPUID.7[0].ECX, not EBX. This causes hardware with BMI1 to > > accidentally advertise PKU in CPUID.0xD[0].EAX. Any OS which proceeds to > > blindly write this into %xcr0 takes a #GP fault. (Experimentally, Windows > > Vista 32bit falls into this category.) > > > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com> > > Reviewed-by: Jan Beulich <jbeul...@suse.com> >
Pushed to staging and staging-4.7. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
