71acdcd7cd0a ("x86/tdx: Use ReportFatalError to report missing SEPT_VE_DISABLE")
51acfe89af11 ("x86/tdx: Add a wrapper to get TDREPORT0 from the TDX Module")