>>> 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> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
