EdkCompatibilityPkg/Foundation/Framework/Ppi/DxeIpl/DxeIpl.h

   1 /*++
   2
   3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>
   4 This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12 Module Name:
  13
  14  DxeIpl.h
  15
  16 Abstract:
  17
  18   DXE Initial Program Load PPI as defined in Tiano
  19
  20   When the PEI core is done it calls the DXE IPL via this PPI.
  21
  22 --*/
  23
  24 #ifndef _DXE_IPL_H_
  25 #define _DXE_IPL_H_
  26
  27 #include "Tiano.h"
  28 #include "PeiHob.h"
  29
  30 #define EFI_DXE_IPL_PPI_GUID \
  31   { \
  32     0xae8ce5d, 0xe448, 0x4437, {0xa8, 0xd7, 0xeb, 0xf5, 0xf1, 0x94, 0xf7, 0x31} \
  33   }
  34
  35 EFI_FORWARD_DECLARATION (EFI_DXE_IPL_PPI);
  36
  37 typedef
  38 EFI_STATUS
  39 (EFIAPI *EFI_DXE_IPL_ENTRY) (
  40   IN EFI_DXE_IPL_PPI              * This,
  41   IN EFI_PEI_SERVICES             **PeiServices,
  42   IN EFI_PEI_HOB_POINTERS         HobList
  43   );
  44
  45 struct _EFI_DXE_IPL_PPI {
  46   EFI_DXE_IPL_ENTRY Entry;
  47 };
  48
  49 extern EFI_GUID gEfiDxeIplPpiGuid;
  50
  51 #endif