DxeIpl.h

Go to the documentation of this file.

 
#ifndef __DXE_IPL_H__
#define __DXE_IPL_H__
 
#define EFI_DXE_IPL_PPI_GUID \
  { \
    0xae8ce5d, 0xe448, 0x4437, {0xa8, 0xd7, 0xeb, 0xf5, 0xf1, 0x94, 0xf7, 0x31 } \
  }
 
typedef struct _EFI_DXE_IPL_PPI EFI_DXE_IPL_PPI;
 
typedef
EFI_STATUS
(EFIAPI *EFI_DXE_IPL_ENTRY)(
  IN CONST EFI_DXE_IPL_PPI        *This,
  IN EFI_PEI_SERVICES             **PeiServices,
  IN EFI_PEI_HOB_POINTERS         HobList
  );
 
struct _EFI_DXE_IPL_PPI {
  EFI_DXE_IPL_ENTRY    Entry;
};
 
extern EFI_GUID  gEfiDxeIplPpiGuid;
 
#endif