Searched refs:table_addr (Results 1 – 1 of 1) sorted by relevance
59 u64 table_addr, table_size, offset = 0; in acpi_create_efi_system_table() local64 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