From: Isaku Yamahata <isaku.yamahata@xxxxxxxxx> TDX KVM uses platform_has_tdx() via hardware_setup(). Signed-off-by: Isaku Yamahata <isaku.yamahata@xxxxxxxxx> --- arch/x86/virt/vmx/tdx.c | 1 + 1 file changed, 1 insertion(+) diff --git a/arch/x86/virt/vmx/tdx.c b/arch/x86/virt/vmx/tdx.c index 60d58b2daabd..da4d1df95503 100644 --- a/arch/x86/virt/vmx/tdx.c +++ b/arch/x86/virt/vmx/tdx.c @@ -1630,3 +1630,4 @@ bool platform_has_tdx(void) { return seamrr_enabled() && tdx_keyid_sufficient(); } +EXPORT_SYMBOL_GPL(platform_has_tdx); -- 2.25.1