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   Reset.h
15 
16 Abstract:
17 
18   Reset PPI as defined in Tiano
19 
20   Used to reset the platform from PEI
21 
22 --*/
23 
24 #ifndef _PEI_RESET_H_
25 #define _PEI_RESET_H_
26 
27 #define PEI_RESET_PPI_GUID \
28   { \
29     0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f} \
30   }
31 
32 //
33 // *******************************************************
34 // PEI_RESET_TYPE
35 // *******************************************************
36 //
37 typedef enum {
38   PeiResetCold,
39   PeiResetWarm
40 } PEI_RESET_TYPE;
41 
42 typedef
43 EFI_STATUS
44 (EFIAPI *PEI_RESET_PPI_RESET_SYSTEM) (
45   IN EFI_PEI_SERVICES   **PeiServices
46   );
47 
48 typedef struct {
49   PEI_RESET_PPI_RESET_SYSTEM  ResetSystem;
50 } PEI_RESET_PPI;
51 
52 extern EFI_GUID gPeiResetPpiGuid;
53 
54 #endif
55