Searched refs:efi_config_table_32_t (Results 1 – 7 of 7) sorted by relevance
184 efi_config_table_32_t *tbl_entry = (efi_config_table_32_t *)cfg_tbl + idx; in get_vendor_table()
64 } efi_config_table_32_t; typedef
453 } efi_config_table_32_t; typedef460 efi_config_table_32_t mixed_mode;
130 mend = mstart + sizeof(efi_config_table_32_t) * stbl->nr_tables; in map_efi_systab()
461 : sizeof(efi_config_table_32_t); in get_efi_config_table()
455 sz = sizeof(efi_config_table_32_t); in efi_config_init()
665 const efi_config_table_32_t *tbl32 = (void *)config_tables; in efi_config_parse_tables()