Searched refs:xlat_arch_current_el (Results 1 – 7 of 7) sorted by relevance
70 assert(xlat_arch_current_el() >= 1); in is_mmu_enabled_ctx()74 assert(xlat_arch_current_el() >= 3); in is_mmu_enabled_ctx()107 assert(xlat_arch_current_el() >= 1); in xlat_arch_tlbi_va_regime()111 assert(xlat_arch_current_el() >= 3); in xlat_arch_tlbi_va_regime()139 int xlat_arch_current_el(void) in xlat_arch_current_el() function
76 int xlat_arch_current_el(void);
43 int xlat_arch_current_el(void);
384 execute_never_mask = xlat_arch_get_xn_desc(xlat_arch_current_el()); in init_xlation_table()
33 int xlat_arch_current_el(void) in xlat_arch_current_el() function
78 int xlat_arch_current_el(void) in xlat_arch_current_el() function