--- /dev/null
+/** @file\r
+ This PPI provides services to register a platform specific reset filter\r
+ for ResetSystem(). A reset filter evaluates the parameters passed to\r
+ ResetSystem() and converts a ResetType of EfiResetPlatformSpecific to a\r
+ non-platform specific reset type. The registered filters are processed before\r
+ EDKII_PLATFORM_SPECIFIC_RESET_HANDLER_PPI handlers.\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_FILTER_PPI_H_\r
+#define _PLATFORM_SPECIFIC_RESET_FILTER_PPI_H_\r
+\r
+#include <Protocol/ResetNotification.h>\r
+\r
+#define EDKII_PLATFORM_SPECIFIC_RESET_FILTER_PPI_GUID \\r
+ { 0x8c9f4de3, 0x7b90, 0x47ef, { 0x93, 0x8, 0x28, 0x7c, 0xec, 0xd6, 0x6d, 0xe8 } }\r
+\r
+typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_FILTER_PPI;\r
+\r
+extern EFI_GUID gEdkiiPlatformSpecificResetFilterPpiGuid;\r
+\r
+#endif\r