#define EDKII_PLATFORM_SPECIFIC_RESET_NOTIFICATION_PPI_GUID \\r
{ 0xe09f355d, 0xdae8, 0x4910, { 0xb1, 0x4a, 0x92, 0x78, 0x0f, 0xdc, 0xf7, 0xcb } }\r
\r
-typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_NOTIFICATION_PPI;\r
+typedef EFI_RESET_NOTIFICATION_PROTOCOL EDKII_PLATFORM_SPECIFIC_RESET_NOTIFICATION_PPI;\r
\r
-extern EFI_GUID gEdkiiPlatformSpecificResetNotificationPpiGuid;\r
+extern EFI_GUID gEdkiiPlatformSpecificResetNotificationPpiGuid;\r
\r
#endif\r