]>
Commit | Line | Data |
---|---|---|
5879b875 | 1 | /** @file\r |
2 | This file declares Reset PPI used to reset the platform\r | |
3 | \r | |
4 | Copyright (c) 2006, Intel Corporation \r | |
5 | All rights reserved. This program and the accompanying materials \r | |
6 | are licensed and made available under the terms and conditions of the BSD License \r | |
7 | which accompanies this distribution. The full text of the license may be found at \r | |
8 | http://opensource.org/licenses/bsd-license.php \r | |
9 | \r | |
10 | THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r | |
11 | WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r | |
12 | \r | |
5879b875 | 13 | @par Revision Reference:\r |
14 | This PPI is defined in PI.\r | |
15 | Version 1.0.\r | |
16 | \r | |
17 | **/\r | |
18 | \r | |
19 | #ifndef __RESET_PPI_H__\r | |
20 | #define __RESET_PPI_H__\r | |
21 | \r | |
22 | #define EFI_PEI_RESET_PPI_GUID \\r | |
23 | { \\r | |
24 | 0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f } \\r | |
25 | }\r | |
26 | \r | |
27 | typedef struct {\r | |
28 | EFI_PEI_RESET_SYSTEM ResetSystem;\r | |
29 | } EFI_PEI_RESET_PPI;\r | |
30 | \r | |
31 | extern EFI_GUID gEfiPeiResetPpiGuid;\r | |
32 | \r | |
33 | #endif\r |