Searched refs:efi_system_table_64_t (Results 1 – 3 of 3) sorted by relevance
148 efi_system_table_64_t *stbl = (efi_system_table_64_t *)sys_tbl_pa; in efi_get_conf_table()
82 } efi_system_table_64_t; typedef
115 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()135 efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr; in map_efi_systab()