Searched refs:efi_config_table_32_t (Results 1 – 3 of 3) sorted by relevance
52 efi_config_table_32_t *tbl = (efi_config_table_32_t *)config_tables + i; in __efi_get_rsdp_addr()
529 guid = ((efi_config_table_32_t *)tablep)->guid; in efi_config_parse_tables()530 table = ((efi_config_table_32_t *)tablep)->table; in efi_config_parse_tables()636 sz = sizeof(efi_config_table_32_t); in efi_config_init()
706 } efi_config_table_32_t; typedef
