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
