\r
#include <PiPei.h>\r
\r
-/**\r
- In Tdx guest, some information need to be passed from host VMM to guest\r
- firmware. For example, the memory resource, etc. These information are\r
- prepared by host VMM and put in HobList which is described in TdxMetadata.\r
-\r
- Information in HobList is treated as external input. From the security\r
- perspective before it is consumed, it should be validated.\r
-\r
- @retval EFI_SUCCESS Successfully process the hoblist\r
- @retval Others Other error as indicated\r
-**/\r
-EFI_STATUS\r
-EFIAPI\r
-ProcessTdxHobList (\r
- VOID\r
- )\r
-{\r
- return EFI_UNSUPPORTED;\r
-}\r
-\r
/**\r
In Tdx guest, the system memory is passed in TdHob by host VMM. So\r
the major task of PlatformTdxPublishRamRegions is to walk thru the\r