Searched refs:efi_config_table_32_t (Results 1 – 2 of 2) sorted by relevance
419 guid = ((efi_config_table_32_t *)tablep)->guid; in efi_config_parse_tables()420 table = ((efi_config_table_32_t *)tablep)->table; in efi_config_parse_tables()459 sz = sizeof(efi_config_table_32_t); in efi_config_init()
610 } efi_config_table_32_t; typedef