On 24.07.2025 14:56, Jan Beulich wrote: > --- a/xen/arch/x86/cpu/amd.c > +++ b/xen/arch/x86/cpu/amd.c > @@ -1220,6 +1220,24 @@ static void cf_check init_amd(struct cpu > } > break; > > + case 0x17: > + /* > + * Fam17 model 47 stepping 0 has an error that causes RDSEED to > + * always return 0xffffffff (while RDRAND works correctly). > + */ > + if (c == &boot_cpu_data && > + c->family == 0x47 && c->stepping == 0 &&
Of course this means to be c->model. Jan
