#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
+typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_FILTER_PPI;\r
\r
-extern EFI_GUID gEdkiiPlatformSpecificResetFilterPpiGuid;\r
+extern EFI_GUID gEdkiiPlatformSpecificResetFilterPpiGuid;\r
\r
#endif\r