/* If the cached PEI Services Table pointer is NULL, then ASSERT(). */
CONST EFI_PEI_SERVICES** EFIAPI GetPeiServicesTablePointer(VOID)
/* If the cached PEI Services Table pointer is NULL, then ASSERT(). */
CONST EFI_PEI_SERVICES** EFIAPI GetPeiServicesTablePointer(VOID)
{
  CONST EFI_PEI_SERVICES  **PeiServicesTablePointer;
  PeiServicesTablePointer = EMU_MAGIC_PAGE ()->PeiServicesTablePointer;
  ASSERT (PeiServicesTablePointer != NULL);
  ASSERT (*PeiServicesTablePointer != NULL);
  return PeiServicesTablePointer;
}