Searched refs:efi_tables (Results 1 – 2 of 2) sorted by relevance
380 efi_config_table_t *efi_tables; in sys_fw_init() local408 efi_tables = (void *) cp; cp += sizeof(*efi_tables); in sys_fw_init()432 efi_systab->tables = __pa(efi_tables); in sys_fw_init()448 efi_tables->guid = SAL_SYSTEM_TABLE_GUID; in sys_fw_init()449 efi_tables->table = __pa(sal_systab); in sys_fw_init()
466 static efi_config_table_t *efi_tables; in sys_fw_init() local513 efi_tables = (void *) cp; cp += ALIGN8(NUM_EFI_DESCS*sizeof(*efi_tables)); in sys_fw_init()559 efi_systab->tables = __fwtab_pa(base_nasid, efi_tables); in sys_fw_init()576 efi_tables->guid = SAL_SYSTEM_TABLE_GUID; in sys_fw_init()577 efi_tables->table = __fwtab_pa(base_nasid, sal_systab); in sys_fw_init()578 efi_tables++; in sys_fw_init()579 efi_tables->guid = ACPI_20_TABLE_GUID; in sys_fw_init()580 efi_tables->table = __fwtab_pa(base_nasid, acpi20_rsdp); in sys_fw_init()581 efi_tables++; in sys_fw_init()