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
493 } efi_system_table_64_t; typedef