| Vishal Bhoj | 82c8071 | 2015-12-15 21:13:33 +0530 | [diff] [blame^] | 1 | /** @file
|
| 2 | This file declares Reset 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) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
|
| 8 | This program and the accompanying materials
|
| 9 | are licensed and made available under the terms and conditions of the BSD License
|
| 10 | which accompanies this distribution. The full text of the license may be found at
|
| 11 | http://opensource.org/licenses/bsd-license.php
|
| 12 |
|
| 13 | THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
| 14 | WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
| 15 |
|
| 16 | @par Revision Reference:
|
| 17 | This PPI is introduced in PI Version 1.0.
|
| 18 |
|
| 19 | **/
|
| 20 |
|
| 21 | #ifndef __RESET_PPI_H__
|
| 22 | #define __RESET_PPI_H__
|
| 23 |
|
| 24 | #define EFI_PEI_RESET_PPI_GUID \
|
| 25 | { \
|
| 26 | 0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f } \
|
| 27 | }
|
| 28 |
|
| 29 | //
|
| 30 | // EFI_PEI_RESET_PPI.ResetSystem() is equivalent to the
|
| 31 | // PEI Service ResetSystem().
|
| 32 | // It is introduced in PIPeiCis.h.
|
| 33 | //
|
| 34 |
|
| 35 | ///
|
| 36 | /// This PPI provides provide a simple reset service.
|
| 37 | ///
|
| 38 | typedef struct {
|
| 39 | EFI_PEI_RESET_SYSTEM ResetSystem;
|
| 40 | } EFI_PEI_RESET_PPI;
|
| 41 |
|
| 42 | extern EFI_GUID gEfiPeiResetPpiGuid;
|
| 43 |
|
| 44 | #endif
|