ThunkPpiList.h

Go to the documentation of this file.

 
#include <PiPei.h>
 
EFI_PEI_PPI_DESCRIPTOR *
GetThunkPpiList (
  VOID
  );
 
EFI_STATUS
EFIAPI
AddThunkPpi (
  IN  UINTN     Flags,
  IN  EFI_GUID  *Guid,
  IN  VOID      *Ppi
  );