On 26.01.2022 13:44, Roger Pau Monné wrote: > I think you could also use boot_cpu_data in spec_ctrl.c print_details > instead of fetching again the cpuid leafs?
Like with pre-existing code there iirc the intention is to really log what is available in hardware, no matter what was subsequently disabled in software already (e.g. via "cpuid="). Jan
