Searched refs:current_gen (Results 1 – 1 of 1) 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()