Searched refs:xlat_arch_current_el (Results 1 – 8 of 8) sorted by relevance
145 assert(xlat_arch_current_el() >= 1U); in is_mmu_enabled_ctx()148 assert(xlat_arch_current_el() >= 2U); in is_mmu_enabled_ctx()152 assert(xlat_arch_current_el() >= 3U); in is_mmu_enabled_ctx()197 assert(xlat_arch_current_el() >= 1U); in xlat_arch_tlbi_va()200 assert(xlat_arch_current_el() >= 2U); in xlat_arch_tlbi_va()204 assert(xlat_arch_current_el() >= 3U); in xlat_arch_tlbi_va()232 unsigned int xlat_arch_current_el(void) in xlat_arch_current_el() function
78 assert(xlat_arch_current_el() == 1U); in is_mmu_enabled_ctx()82 assert(xlat_arch_current_el() == 2U); in is_mmu_enabled_ctx()148 unsigned int xlat_arch_current_el(void) in xlat_arch_current_el() function
28 unsigned int xlat_arch_current_el(void);
403 unsigned int el = xlat_arch_current_el(); in init_xlation_table()
91 unsigned int xlat_arch_current_el(void);
99 unsigned int current_el = xlat_arch_current_el(); in init_xlat_tables()
40 unsigned int xlat_arch_current_el(void) in xlat_arch_current_el() function
99 unsigned int xlat_arch_current_el(void) in xlat_arch_current_el() function