PeiServicesTablePointer.c

Go to the documentation of this file.

 
#include <PiPei.h>
#include <Library/PeiServicesTablePointerLib.h>
#include <Library/ArmLib.h>
#include <Library/DebugLib.h>
 
VOID
EFIAPI
SetPeiServicesTablePointer (
  IN CONST EFI_PEI_SERVICES  **PeiServicesTablePointer
  )
{
  ArmWriteTpidrurw ((UINTN)PeiServicesTablePointer);
}
 
CONST EFI_PEI_SERVICES **
EFIAPI
GetPeiServicesTablePointer (
  VOID
  )
{
  return (CONST EFI_PEI_SERVICES **)ArmReadTpidrurw ();
}
 
VOID
EFIAPI
MigratePeiServicesTablePointer (
  VOID
  )
{
  return;
}