Searched refs:efi_system_table_64_t (Results 1 – 4 of 4) 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
114 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()134 efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr; in map_efi_systab()
494 } efi_system_table_64_t; typedef