Searched refs:efi_tables (Results 1 – 1 of 1) sorted by relevance
236 efi_config_table_t *efi_tables; in sys_fw_init() local264 efi_tables = (void *) cp; cp += sizeof(*efi_tables); in sys_fw_init()288 efi_systab->tables = __pa(efi_tables); in sys_fw_init()304 efi_tables->guid = SAL_SYSTEM_TABLE_GUID; in sys_fw_init()305 efi_tables->table = __pa(sal_systab); in sys_fw_init()