2 This PPI provides services to register a platform specific handler for
3 ResetSystem(). The registered handlers are processed after
4 EDKII_PLATFORM_SPECIFIC_RESET_NOTIFICATION_PPI notifications.
6 Copyright (c) 2017 - 2018 Intel Corporation. All rights reserved.<BR>
7 This program and the accompanying materials are licensed and made available under
8 the terms and conditions of the BSD License that accompanies this distribution.
9 The full text of the license may be found at
10 http://opensource.org/licenses/bsd-license.php.
12 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
13 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
17 #ifndef _PLATFORM_SPECIFIC_RESET_HANDLER_PPI_H_
18 #define _PLATFORM_SPECIFIC_RESET_HANDLER_PPI_H_
20 #include <Protocol/ResetNotification.h>
22 #define EDKII_PLATFORM_SPECIFIC_RESET_HANDLER_PPI_GUID \
23 { 0x75cf14ae, 0x3441, 0x49dc, { 0xaa, 0x10, 0xbb, 0x35, 0xa7, 0xba, 0x8b, 0xab } }
25 typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_HANDLER_PPI
;
27 extern EFI_GUID gEdkiiPlatformSpecificResetHandlerPpiGuid
;