#define EFI_HII_USER_CREDENTIAL_FORMSET_GUID \\r
{ 0x337f4407, 0x5aee, 0x4b83, { 0xb2, 0xa7, 0x4e, 0xad, 0xca, 0x30, 0x88, 0xcd } }\r
\r
+#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
\r
#endif\r