>>> 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

Reply via email to