TDX 1.0 defines baseline behaviour of TDX guest platform. In TDX 1.0
generates a #VE when accessing topology-related CPUID leafs (0xB and
+ * The ENUM_TOPOLOGY feature allows the VMM to provide topology information.^
+ * Enabling the feature eliminates topology-related #VEs: the TDX module