Searched refs:get_current_el (Results 1 – 2 of 2) sorted by relevance
21 GUEST_ASSERT_EQ(get_current_el(), 2); in guest_code()
378 static inline unsigned int get_current_el(void) in get_current_el() function385 if (get_current_el() == 2) \