Lines Matching refs:sl
1538 struct verifier_state_list *sl; in is_state_visited() local
1540 sl = env->explored_states[insn_idx]; in is_state_visited()
1541 if (!sl) in is_state_visited()
1547 while (sl != STATE_LIST_MARK) { in is_state_visited()
1548 if (states_equal(&sl->state, &env->cur_state)) in is_state_visited()
1553 sl = sl->next; in is_state_visited()
2020 struct verifier_state_list *sl, *sln; in free_states() local
2027 sl = env->explored_states[i]; in free_states()
2029 if (sl) in free_states()
2030 while (sl != STATE_LIST_MARK) { in free_states()
2031 sln = sl->next; in free_states()
2032 kfree(sl); in free_states()
2033 sl = sln; in free_states()