Searched refs:el_highest (Results 1 – 1 of 1) sorted by relevance
174 uint32_t el_highest; in is_el_highest_implemented() local177 el_highest = read_id_aa64pfr0_el1() & 0xFFFF; in is_el_highest_implemented()178 el_highest = (31U - __builtin_clz(el_highest)) / 4; in is_el_highest_implemented()182 if (curr_el < el_highest) in is_el_highest_implemented()