On 06.02.2026 17:15, Alejandro Vallejo wrote:
> --- a/xen/lib/x86/policy.c
> +++ b/xen/lib/x86/policy.c
> @@ -15,7 +15,8 @@ int x86_cpu_policies_are_compatible(const struct cpu_policy
> *host,
> #define FAIL_MSR(m) \
> do { e.msr = (m); goto out; } while ( 0 )
>
> - if ( guest->basic.max_leaf > host->basic.max_leaf )
> + if ( (guest->x86_vendor != host->x86_vendor) ||
With the subsequent "unknown" discussion also in mind, I wonder: Should we
fail the request here when either side is "unknown"?
Jan
> + (guest->basic.max_leaf > host->basic.max_leaf) )
> FAIL_CPUID(0, NA);
>
> if ( guest->feat.max_subleaf > host->feat.max_subleaf )
