#define EDKII_PLATFORM_SPECIFIC_RESET_HANDLER_PROTOCOL_GUID \\r
{ 0x2df6ba0b, 0x7092, 0x440d, { 0xbd, 0x4, 0xfb, 0x9, 0x1e, 0xc3, 0xf3, 0xc1 } }\r
\r
-typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_HANDLER_PROTOCOL;\r
+typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_HANDLER_PROTOCOL;\r
\r
-extern EFI_GUID gEdkiiPlatformSpecificResetHandlerProtocolGuid;\r
+extern EFI_GUID gEdkiiPlatformSpecificResetHandlerProtocolGuid;\r
\r
#endif\r