>>> On 18.01.17 at 20:40, <andrew.coop...@citrix.com> wrote: > Leaves 0x80000002 through 0x80000004 are plain ASCII text, and require no > specific recalculation.
Do they not? We don't currently get them in line with a perhaps overridden vendor, but maybe we should? > @@ -936,6 +938,7 @@ void guest_cpuid(const struct vcpu *v, uint32_t leaf, > goto legacy; > > case 0x80000000: > + case 0x80000002 ... 0x80000004: > *res = p->extd.raw[leaf & 0xffff]; > break; > } Ah yes, here we go. In any event Reviewed-by: Jan Beulich <jbeul...@suse.com> Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel