1/** @file 2* 3* Copyright (c) 2017, Linaro, Ltd. 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#include "DtPlatformDxe.h" 16 17// 18// EFI Variable attributes 19// 20#define EFI_VARIABLE_NON_VOLATILE 0x00000001 21#define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x00000002 22#define EFI_VARIABLE_RUNTIME_ACCESS 0x00000004 23#define EFI_VARIABLE_READ_ONLY 0x00000008 24 25formset 26 guid = DT_PLATFORM_FORMSET_GUID, 27 title = STRING_TOKEN(STR_FORM_SET_TITLE), 28 help = STRING_TOKEN(STR_FORM_SET_TITLE_HELP), 29 classguid = EFI_HII_PLATFORM_SETUP_FORMSET_GUID, 30 31 efivarstore DT_ACPI_VARSTORE_DATA, 32 attribute = EFI_VARIABLE_BOOTSERVICE_ACCESS | EFI_VARIABLE_NON_VOLATILE, // EFI variable attributes 33 name = DtAcpiPref, 34 guid = DT_PLATFORM_FORMSET_GUID; 35 36 form formid = 0x1000, 37 title = STRING_TOKEN(STR_MAIN_FORM_TITLE); 38 39 oneof varid = DtAcpiPref.Pref, 40 prompt = STRING_TOKEN(STR_DT_ACPI_SELECT_PROMPT), 41 help = STRING_TOKEN(STR_DT_ACPI_SELECT_HELP), 42 flags = NUMERIC_SIZE_1 | INTERACTIVE | RESET_REQUIRED, 43 option text = STRING_TOKEN(STR_DT_ACPI_SELECT_DT), value = DT_ACPI_SELECT_DT, flags = DEFAULT; 44 option text = STRING_TOKEN(STR_DT_ACPI_SELECT_ACPI), value = DT_ACPI_SELECT_ACPI, flags = 0; 45 endoneof; 46 47 subtitle text = STRING_TOKEN(STR_NULL_STRING); 48 49 endform; 50 51endformset; 52