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   BootInRecoveryMode.h
15 
16 Abstract:
17 
18   Boot Mode PPI as defined in Tiano
19 
20 --*/
21 
22 #ifndef _PEI_BOOT_IN_RECOVERY_MODE_PPI_H
23 #define _PEI_BOOT_IN_RECOVERY_MODE_PPI_H
24 
25 #define PEI_BOOT_IN_RECOVERY_MODE_PEIM_PPI \
26   { \
27     0x17ee496a, 0xd8e4, 0x4b9a, {0x94, 0xd1, 0xce, 0x82, 0x72, 0x30, 0x8, 0x50} \
28   }
29 
30 EFI_FORWARD_DECLARATION (PEI_BOOT_IN_RECOVERY_MODE_PPI);
31 
32 extern EFI_GUID gPeiBootInRecoveryModePpiGuid;
33 
34 #endif
35