--- /dev/null
+/** @file\r
+*\r
+* Copyright (c) 2017, Linaro Limited. All rights reserved.\r
+*\r
+* This program and the accompanying materials\r
+* are licensed and made available under the terms and conditions of the BSD License\r
+* which accompanies this distribution. The full text of the license may be found at\r
+* http://opensource.org/licenses/bsd-license.php\r
+*\r
+* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+*\r
+**/\r
+\r
+#ifndef __DT_PLATFORM_DXE_H__\r
+#define __DT_PLATFORM_DXE_H__\r
+\r
+#include <Guid/HiiPlatformSetupFormset.h>\r
+#include <Guid/DtPlatformFormSet.h>\r
+\r
+#define DT_ACPI_SELECT_DT 0x0\r
+#define DT_ACPI_SELECT_ACPI 0x1\r
+\r
+#define DT_ACPI_VARIABLE_NAME L"DtAcpiPref"\r
+\r
+typedef struct {\r
+ UINT8 Pref;\r
+ UINT8 Reserved[3];\r
+} DT_ACPI_VARSTORE_DATA;\r
+\r
+#endif\r