On Thu, Apr 11, 2024, Xiaoyao Li wrote: > flexible (configurable) bits is known to VMM (KVM and userspace) because TDX > module has interface to report them. So we can treat a bit as fixed if it is > not reported in the flexible group. (of course the dynamic bits are special > and excluded.) Does that interface reported the fixed _values_?