Searched refs:efi_config_table_32_t (Results 1 – 4 of 4) sorted by relevance
186 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
446 sz = sizeof(efi_config_table_32_t); in efi_config_init()
505 : sizeof(efi_config_table_32_t); in get_efi_config_table()