On 05/05/2020 09:14, Jan Beulich wrote: > --- a/xen/tools/gen-cpuid.py > +++ b/xen/tools/gen-cpuid.py > @@ -284,6 +284,9 @@ def crunch_numbers(state): > # as dependent features simplifies Xen's logic, and prevents the > guest > # from seeing implausible configurations. > IBRSB: [STIBP, SSBD], > + > + # In principle the TSXLDTRK insns could also be considered > independent. > + RTM: [TSXLDTRK],
Why the link? There is no relevant interaction AFAICT. ~Andrew