Searched refs:table64 (Results 1 – 1 of 1) sorted by relevance
517 u64 table64; in efi_config_parse_tables() local519 table64 = ((efi_config_table_64_t *)tablep)->table; in efi_config_parse_tables()520 table = table64; in efi_config_parse_tables()522 if (table64 >> 32) { in efi_config_parse_tables()