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   EndOfPeiSignal.h
15 
16 Abstract:
17 
18   PPI to be used to signal when the PEI ownership of the memory map
19   officially ends and DXE will take over
20 
21 --*/
22 
23 #ifndef _PEI_END_OF_PEI_SIGNAL_PPI_H
24 #define _PEI_END_OF_PEI_SIGNAL_PPI_H
25 
26 #define PEI_END_OF_PEI_PHASE_PPI_GUID \
27   { \
28     0x605EA650, 0xC65C, 0x42e1, {0xBA, 0x80, 0x91, 0xA5, 0x2A, 0xB6, 0x18, 0xC6} \
29   }
30 
31 EFI_FORWARD_DECLARATION (PEI_END_OF_PEI_SIGNAL_PPI);
32 
33 extern EFI_GUID gEndOfPeiSignalPpiGuid;
34 
35 #endif
36