Searched refs:curr_el (Results 1 – 1 of 1) sorted by relevance
176 uint32_t curr_el; in is_el_highest_implemented() local181 curr_el = GET_EL(read_currentel()); in is_el_highest_implemented()183 if (curr_el < el_highest) in is_el_highest_implemented()
