Searched refs:current_gen (Results 1 – 2 of 2) sorted by relevance
1335 uint64_t current_gen; in plat_cpuid_to_mmu_ctx_info() local1343 current_gen = md_get_current_gen(); in plat_cpuid_to_mmu_ctx_info()1351 if (current_gen != md_gen || cpuid2pset == NULL) { in plat_cpuid_to_mmu_ctx_info()
3737 tnf_uint, current_gen, hal->generation_count); in t1394_get_targetinfo()