DtPlatformDxe.h

Go to the documentation of this file.

 
#ifndef __DT_PLATFORM_DXE_H__
#define __DT_PLATFORM_DXE_H__
 
#include <Guid/HiiPlatformSetupFormset.h>
#include <Guid/DtPlatformFormSet.h>
 
#define DT_ACPI_SELECT_DT    0x0
#define DT_ACPI_SELECT_ACPI  0x1
 
#define DT_ACPI_VARIABLE_NAME  L"DtAcpiPref"
 
typedef struct {
  UINT8    Pref;
  UINT8    Reserved[3];
} DT_ACPI_VARSTORE_DATA;
 
#endif