Searched refs:efi_config_table_64_t (Results 1 – 7 of 7) 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
548 sz = sizeof(efi_config_table_64_t); in efi_reuse_config()560 guid = ((efi_config_table_64_t *)p)->guid; in efi_reuse_config()563 ((efi_config_table_64_t *)p)->table = data->smbios; in efi_reuse_config()567 ((efi_config_table_64_t *)p)->table = EFI_INVALID_TABLE_ADDR; in efi_reuse_config()
445 sz = sizeof(efi_config_table_64_t); in efi_config_init()
123 mend = mstart + sizeof(efi_config_table_64_t) * stbl->nr_tables; in map_efi_systab()
446 } efi_config_table_64_t; typedef
695 const efi_config_table_64_t *tbl64 = (void *)config_tables; in efi_config_parse_tables()