x86/virt/tdx: Detect TDX during kernel boot
[sfrench/cifs-2.6.git] / arch / x86 / include / asm / msr-index.h
index 1d51e1850ed03d46e84c71de0c451067d0baac5b..66c12d4efa31a26d526ef5b9a0dcc4c02f15ffc9 100644 (file)
 #define MSR_RELOAD_PMC0                        0x000014c1
 #define MSR_RELOAD_FIXED_CTR0          0x00001309
 
+/* KeyID partitioning between MKTME and TDX */
+#define MSR_IA32_MKTME_KEYID_PARTITIONING      0x00000087
+
 /*
  * AMD64 MSRs. Not complete. See the architecture manual for a more
  * complete list.