Searched refs:md_get_current_gen (Results 1 – 3 of 3) sorted by relevance
86 extern uint64_t md_get_current_gen(void);
869 md_get_current_gen(void) in md_get_current_gen() function
1343 current_gen = md_get_current_gen(); in plat_cpuid_to_mmu_ctx_info()