Searched refs:table64 (Results 1 – 1 of 1) sorted by relevance
605 u64 table64; in efi_config_init() local607 table64 = ((efi_config_table_64_t *)tablep)->table; in efi_config_init()608 table = table64; in efi_config_init()610 if (table64 >> 32) { in efi_config_init()