Searched refs:el_highest (Results 1 – 1 of 1) sorted by relevance
175 uint32_t el_highest; in is_el_highest_implemented() local178 el_highest = read_id_aa64pfr0_el1() & 0xFFFF; in is_el_highest_implemented()179 el_highest = (31U - __builtin_clz(el_highest)) / 4; in is_el_highest_implemented()183 if (curr_el < el_highest) in is_el_highest_implemented()
