#define EFI_HII_REST_STYLE_FORMSET_GUID \\r
{ 0x790217bd, 0xbecf, 0x485b, { 0x91, 0x70, 0x5f, 0xf7, 0x11, 0x31, 0x8b, 0x27 } }\r
\r
-extern EFI_GUID gEfiHiiPlatformSetupFormsetGuid;\r
-extern EFI_GUID gEfiHiiDriverHealthFormsetGuid;\r
-extern EFI_GUID gEfiHiiUserCredentialFormsetGuid;\r
-extern EFI_GUID gEfiHiiRestStyleFormsetGuid;\r
+extern EFI_GUID gEfiHiiPlatformSetupFormsetGuid;\r
+extern EFI_GUID gEfiHiiDriverHealthFormsetGuid;\r
+extern EFI_GUID gEfiHiiUserCredentialFormsetGuid;\r
+extern EFI_GUID gEfiHiiRestStyleFormsetGuid;\r
\r
#endif\r