#include <Library/CpuExceptionHandlerLib.h>\r
#include <Ppi/TemporaryRamSupport.h>\r
#include <Ppi/MpInitLibDep.h>\r
-#include <Library/PlatformInitLib.h>\r
+#include <Library/TdxHelperLib.h>\r
#include <Library/CcProbeLib.h>\r
#include "AmdSev.h"\r
\r
// first so that the memory is accepted. Otherwise access to the unaccepted\r
// memory will trigger tripple fault.\r
//\r
- if (ProcessTdxHobList () != EFI_SUCCESS) {\r
+ if (TdxHelperProcessTdHob () != EFI_SUCCESS) {\r
CpuDeadLoop ();\r
}\r
}\r