Searched refs:efi_config_table_32_t (Results 1 – 2 of 2) sorted by relevance
328 guid = ((efi_config_table_32_t *)tablep)->guid; in efi_config_parse_tables()329 table = ((efi_config_table_32_t *)tablep)->table; in efi_config_parse_tables()350 sz = sizeof(efi_config_table_32_t); in efi_config_init()
600 } efi_config_table_32_t; typedef