On Thu, Dec 12, 2019 at 9:53 AM Liran Alon <liran.alon@xxxxxxxxxx> wrote: > Why should CPU VMX features be treated differently than standard CPUID deduced features? Do we have the right Intel people on the recipient list to answer this question? Presumably, Intel felt that this information should be available in supervisor mode only. Sean?