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