EmbeddedPkg/Drivers/DtPlatformDxe/DtPlatformDxe.h

   1 /** @file
   2 *
   3 *  Copyright (c) 2017, Linaro Limited. All rights reserved.
   4 *
   5 *  This program and the accompanying materials
   6 *  are licensed and made available under the terms and conditions of the BSD License
   7 *  which accompanies this distribution.  The full text of the license may be found at
   8 *  http://opensource.org/licenses/bsd-license.php
   9 *
  10 *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12 *
  13 **/
  14
  15 #ifndef __DT_PLATFORM_DXE_H__
  16 #define __DT_PLATFORM_DXE_H__
  17
  18 #include <Guid/HiiPlatformSetupFormset.h>
  19 #include <Guid/DtPlatformFormSet.h>
  20
  21 #define DT_ACPI_SELECT_DT       0x0
  22 #define DT_ACPI_SELECT_ACPI     0x1
  23
  24 #define DT_ACPI_VARIABLE_NAME   L"DtAcpiPref"
  25
  26 typedef struct {
  27   UINT8         Pref;
  28   UINT8         Reserved[3];
  29 } DT_ACPI_VARSTORE_DATA;
  30
  31 #endif