efi_table_attr
(void *)efi_table_attr(tcg2, hash_log_extend_event);
(void *)efi_table_attr(cc, hash_log_extend_event);
const efi_char16_t *options = efi_table_attr(image, load_options);
u32 options_size = efi_table_attr(image, load_options_size);
unsigned long tables = efi_table_attr(efi_system_table, tables);
int nr_tables = efi_table_attr(efi_system_table, nr_tables);
return efi_table_attr(t, table);
con_in = efi_table_attr(efi_system_table, con_in);
efi_set_event_at(events, 0, efi_table_attr(con_in, wait_for_key));
efi_fn_call(efi_table_attr(efi_system_table, boottime), func, ##__VA_ARGS__)
efi_fn_call(efi_table_attr(efi_system_table, runtime), func, ##__VA_ARGS__)
const efi_char16_t *cmdline = efi_table_attr(image, load_options);
u32 cmdline_len = efi_table_attr(image, load_options_size);
status = efi_bs_call(handle_protocol, efi_table_attr(image, device_handle),
mode = efi_table_attr(gop, mode);
cur_mode = efi_table_attr(mode, mode);
max_mode = efi_table_attr(mode, max_mode);
efi_graphics_output_protocol_mode_t *mode = efi_table_attr(gop, mode);
u32 max_mode = efi_table_attr(mode, max_mode);
efi_graphics_output_protocol_mode_t *mode = efi_table_attr(gop, mode);
unsigned long cur_mode = efi_table_attr(mode, mode);
if (match_res(efi_table_attr(mode, info), cur_mode, NULL))
efi_graphics_output_protocol_mode_t *mode = efi_table_attr(gop, mode);
unsigned long cur_mode = efi_table_attr(mode, mode);
u32 max_mode = efi_table_attr(mode, max_mode);
mode = efi_table_attr(gop, mode);
cur_mode = efi_table_attr(mode, mode);
const efi_graphics_output_protocol_mode_t *mode = efi_table_attr(gop, mode);
const efi_graphics_output_mode_info_t *info = efi_table_attr(mode, info);
efi_set_u64_split(efi_table_attr(mode, frame_buffer_base),
mode = efi_table_attr(gop, mode);
info = efi_table_attr(mode, info);
gop_size_of_edid = efi_table_attr(active_edid, size_of_edid);
gop_edid = efi_table_attr(active_edid, edid);
gop_size_of_edid = efi_table_attr(discovered_edid, size_of_edid);
gop_edid = efi_table_attr(discovered_edid, edid);
if (efi_table_attr(efi_system_table, boottime) == NULL)
if (efi_table_attr(efi_system_table, boottime) == NULL)
efi_call_proto(efi_table_attr(efi_system_table, con_out),
if (efi_table_attr(p, version) != 0x10000) {
unsigned long vendor = efi_table_attr(efi_system_table, fw_vendor);
romimage = efi_table_attr(pci, romimage);
romsize = efi_table_attr(pci, romsize);