*\r
**/\r
\r
+#include <Uefi/UefiMultiPhase.h>\r
#include "DtPlatformDxe.h"\r
\r
-//\r
-// EFI Variable attributes\r
-//\r
-#define EFI_VARIABLE_NON_VOLATILE 0x00000001\r
-#define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x00000002\r
-#define EFI_VARIABLE_RUNTIME_ACCESS 0x00000004\r
-#define EFI_VARIABLE_READ_ONLY 0x00000008\r
-\r
formset\r
guid = DT_PLATFORM_FORMSET_GUID,\r
title = STRING_TOKEN(STR_FORM_SET_TITLE),\r