Last change
on this file since 85788 was 80721, checked in by vboxsync, 5 years ago |
Devices/EFI/FirmwareNew: Start upgrade process to edk2-stable201908 (compiles on Windows and works to some extent), bugref:4643
|
-
Property svn:eol-style
set to
native
|
File size:
766 bytes
|
Line | |
---|
1 | /** @file
|
---|
2 | This file declares Reset2 PPI used to reset the platform.
|
---|
3 |
|
---|
4 | This PPI is installed by some platform- or chipset-specific PEIM that
|
---|
5 | abstracts the Reset Service to other agents.
|
---|
6 |
|
---|
7 | Copyright (c) 2015, Intel Corporation. All rights reserved.<BR>
|
---|
8 | SPDX-License-Identifier: BSD-2-Clause-Patent
|
---|
9 |
|
---|
10 | @par Revision Reference:
|
---|
11 | This PPI is introduced in PI Version 1.4.
|
---|
12 |
|
---|
13 | **/
|
---|
14 |
|
---|
15 | #ifndef __RESET2_PPI_H__
|
---|
16 | #define __RESET2_PPI_H__
|
---|
17 |
|
---|
18 | #define EFI_PEI_RESET2_PPI_GUID \
|
---|
19 | { \
|
---|
20 | 0x6cc45765, 0xcce4, 0x42fd, {0xbc, 0x56, 0x1, 0x1a, 0xaa, 0xc6, 0xc9, 0xa8 } \
|
---|
21 | }
|
---|
22 |
|
---|
23 | ///
|
---|
24 | /// This PPI provides provide a simple reset service.
|
---|
25 | ///
|
---|
26 | typedef struct _EFI_PEI_RESET2_PPI {
|
---|
27 | EFI_PEI_RESET2_SYSTEM ResetSystem;
|
---|
28 | } EFI_PEI_RESET2_PPI;
|
---|
29 |
|
---|
30 | extern EFI_GUID gEfiPeiReset2PpiGuid;
|
---|
31 |
|
---|
32 | #endif
|
---|
Note:
See
TracBrowser
for help on using the repository browser.