/** @file
  All 3rd parties to register the PPIs passed into PEI Core

  Copyright (c) 2008 - 2011, Apple Inc. All rights reserved.<BR>

  SPDX-License-Identifier: BSD-2-Clause-Patent

**/

#include <PiPei.h>

EFI_PEI_PPI_DESCRIPTOR *
GetThunkPpiList (
  VOID
  );

EFI_STATUS
EFIAPI
AddThunkPpi (
  IN  UINTN     Flags,
  IN  EFI_GUID  *Guid,
  IN  VOID      *Ppi
  );