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