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