OvmfPkg: Update PlatformPei to support Tdx guest

[mirror_edk2.git] / OvmfPkg / PlatformPei / Platform.h

diff --git a/OvmfPkg/PlatformPei/Platform.h b/OvmfPkg/PlatformPei/Platform.h
index 3d148893401a2a8c1dee4d84c775eb797c0141f4..29b51b2debd8b5def3601a7659b42691e86a5610 100644 (file)
--- a/OvmfPkg/PlatformPei/Platform.h
+++ b/OvmfPkg/PlatformPei/Platform.h
@@ -11,6 +11,7 @@
 \r
 #include <IndustryStandard/E820.h>\r
 #include <Library/PlatformInitLib.h>\r
+#include <IndustryStandard/IntelTdx.h>\r
 \r
 extern EFI_HOB_PLATFORM_INFO  mPlatformInfoHob;\r
 \r
@@ -84,6 +85,24 @@ AmdSevInitialize (
   VOID\r
   );\r
 \r
+/**\r
+  This Function checks if TDX is available, if present then it sets\r
+  the dynamic PCDs for Tdx guest. It also builds Guid hob which contains\r
+  the Host Bridge DevId.\r
+  **/\r
+VOID\r
+IntelTdxInitialize (\r
+  VOID\r
+  );\r
+\r
+/**\r
+ * @brief Builds PlatformInfo Hob\r
+ */\r
+VOID\r
+BuildPlatformInfoHob (\r
+  VOID\r
+  );\r
+\r
 VOID\r
 SevInitializeRam (\r
   VOID\r