EmbeddedPkg/Drivers/DtPlatformDxe/DtPlatformDxe.h

   1 /** @file
   2 *
   3 *  Copyright (c) 2017, Linaro Limited. All rights reserved.
   4 *
   5 *  SPDX-License-Identifier: BSD-2-Clause-Patent
   6 *
   7 **/
   8
   9 #ifndef __DT_PLATFORM_DXE_H__
  10 #define __DT_PLATFORM_DXE_H__
  11
  12 #include <Guid/HiiPlatformSetupFormset.h>
  13 #include <Guid/DtPlatformFormSet.h>
  14
  15 #define DT_ACPI_SELECT_DT       0x0
  16 #define DT_ACPI_SELECT_ACPI     0x1
  17
  18 #define DT_ACPI_VARIABLE_NAME   L"DtAcpiPref"
  19
  20 typedef struct {
  21   UINT8         Pref;
  22   UINT8         Reserved[3];
  23 } DT_ACPI_VARSTORE_DATA;
  24
  25 #endif