Searched refs:efi_config_table_32_t (Results 1 – 2 of 2) sorted by relevance
536 guid = ((efi_config_table_32_t *)tablep)->guid; in efi_config_parse_tables()537 table = ((efi_config_table_32_t *)tablep)->table; in efi_config_parse_tables()605 sz = sizeof(efi_config_table_32_t); in efi_config_init()
684 } efi_config_table_32_t; typedef
