Home
last modified time | relevance | path

Searched refs:EFI_CONFIGURATION_TABLE (Results 1 – 5 of 5) sorted by relevance

/xen/xen/arch/arm/efi/
A Defi-dom0.c41 size_t ect_size = sizeof(EFI_CONFIGURATION_TABLE); in estimate_efi_size()
61 EFI_CONFIGURATION_TABLE *efi_conf_tbl; in acpi_create_efi_system_table()
66 table_size = sizeof(EFI_SYSTEM_TABLE) + sizeof(EFI_CONFIGURATION_TABLE) in acpi_create_efi_system_table()
84 efi_conf_tbl = (EFI_CONFIGURATION_TABLE *)(base_ptr + offset); in acpi_create_efi_system_table()
87 efi_sys_tbl->ConfigurationTable = (EFI_CONFIGURATION_TABLE *)(table_addr in acpi_create_efi_system_table()
A Defi-boot.h110 EFI_CONFIGURATION_TABLE *tables; in lookup_fdt_config_table()
/xen/xen/common/efi/
A Defi.h21 extern const EFI_CONFIGURATION_TABLE *efi_ct;
A Druntime.c39 const EFI_CONFIGURATION_TABLE *__read_mostly efi_ct;
/xen/xen/include/efi/
A Defiapi.h889 } EFI_CONFIGURATION_TABLE; typedef
921 EFI_CONFIGURATION_TABLE *ConfigurationTable;

Completed in 9 milliseconds