Home
last modified time | relevance | path

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

/xen/xen/arch/arm/efi/
A Defi-dom0.c59 u64 table_addr, table_size, offset = 0; in acpi_create_efi_system_table() local
64 table_addr = d->arch.efi_acpi_gpa in acpi_create_efi_system_table()
81 efi_sys_tbl->FirmwareVendor = (CHAR16 *)(table_addr + offset); in acpi_create_efi_system_table()
87 efi_sys_tbl->ConfigurationTable = (EFI_CONFIGURATION_TABLE *)(table_addr in acpi_create_efi_system_table()
93 tbl_add[TBL_EFIT].start = table_addr; in acpi_create_efi_system_table()

Completed in 7 milliseconds