#include <Include/IndustryStandard/Tdx.h>\r
#include <Library/TdxLib.h>\r
#include <Register/Intel/Cpuid.h>\r
+#include <Library/CcProbeLib.h>\r
#include "IoLibTdx.h"\r
\r
// Size of TDVMCALL Access, including IO and MMIO\r
#define TDVMCALL_ACCESS_READ 0\r
#define TDVMCALL_ACCESS_WRITE 1\r
\r
-BOOLEAN mTdxEnabled = FALSE;\r
-BOOLEAN mTdxProbed = FALSE;\r
-\r
/**\r
Check if it is Tdx guest.\r
\r
VOID\r
)\r
{\r
- if (mTdxProbed) {\r
- return mTdxEnabled;\r
- }\r
-\r
- mTdxEnabled = TdIsEnabled ();\r
- mTdxProbed = TRUE;\r
-\r
- return mTdxEnabled;\r
+ return CcProbe () == CcGuestTypeIntelTdx;\r
}\r
\r
/**\r