/// This PPI provides provide a simple reset service.\r
///\r
typedef struct _EFI_PEI_RESET2_PPI {\r
- EFI_PEI_RESET2_SYSTEM ResetSystem;\r
+ EFI_PEI_RESET2_SYSTEM ResetSystem;\r
} EFI_PEI_RESET2_PPI;\r
\r
-extern EFI_GUID gEfiPeiReset2PpiGuid;\r
+extern EFI_GUID gEfiPeiReset2PpiGuid;\r
\r
#endif\r