/// This PPI provides provide a simple reset service.\r
///\r
typedef struct {\r
- EFI_PEI_RESET_SYSTEM ResetSystem;\r
+ EFI_PEI_RESET_SYSTEM ResetSystem;\r
} EFI_PEI_RESET_PPI;\r
\r
-extern EFI_GUID gEfiPeiResetPpiGuid;\r
+extern EFI_GUID gEfiPeiResetPpiGuid;\r
\r
#endif\r