Searched refs:curr_el (Results 1 – 1 of 1) sorted by relevance
175 uint32_t curr_el; in is_el_highest_implemented() local180 curr_el = GET_EL(read_currentel()); in is_el_highest_implemented()182 if (curr_el < el_highest) in is_el_highest_implemented()