#include <Library/BaseLib.h>\r
#include <Library/DebugLib.h>\r
\r
+VOID\r
+EFIAPI\r
+SetPeiServicesTablePointer (\r
+ IN EFI_PEI_SERVICES **PeiServices\r
+ )\r
+{\r
+ AsmWriteMm7 ((UINT64)(UINTN)PeiServices);\r
+}\r
+\r
/**\r
The function returns the pointer to PeiServices.\r
\r