| /** @file |
| This file declares Reset2 PPI used to reset the platform. |
| |
| This PPI is installed by some platform- or chipset-specific PEIM that |
| abstracts the Reset Service to other agents. |
| |
| Copyright (c) 2015, Intel Corporation. All rights reserved.<BR> |
| SPDX-License-Identifier: BSD-2-Clause-Patent |
| |
| @par Revision Reference: |
| This PPI is introduced in PI Version 1.4. |
| |
| **/ |
| |
| #ifndef __RESET2_PPI_H__ |
| #define __RESET2_PPI_H__ |
| |
| #define EFI_PEI_RESET2_PPI_GUID \ |
| { \ |
| 0x6cc45765, 0xcce4, 0x42fd, {0xbc, 0x56, 0x1, 0x1a, 0xaa, 0xc6, 0xc9, 0xa8 } \ |
| } |
| |
| /// |
| /// This PPI provides provide a simple reset service. |
| /// |
| typedef struct _EFI_PEI_RESET2_PPI { |
| EFI_PEI_RESET2_SYSTEM ResetSystem; |
| } EFI_PEI_RESET2_PPI; |
| |
| extern EFI_GUID gEfiPeiReset2PpiGuid; |
| |
| #endif |