Searched refs:current_el (Results 1 – 1 of 1) sorted by relevance
99 unsigned int current_el = xlat_arch_current_el(); in init_xlat_tables() local101 if (current_el == 1U) { in init_xlat_tables()103 } else if (current_el == 2U) { in init_xlat_tables()106 assert(current_el == 3U); in init_xlat_tables()