Searched refs:efi_config_table_64_t (Results 1 – 3 of 3) sorted by relevance
175 efi_config_table_64_t *tbl_entry = (efi_config_table_64_t *)cfg_tbl + idx; in get_vendor_table()
59 } efi_config_table_64_t; typedef
444 sz = sizeof(efi_config_table_64_t); in efi_config_init()