Lines Matching refs:sl
1671 struct verifier_state_list *sl; in is_state_visited() local
1673 sl = env->explored_states[insn_idx]; in is_state_visited()
1674 if (!sl) in is_state_visited()
1680 while (sl != STATE_LIST_MARK) { in is_state_visited()
1681 if (states_equal(&sl->state, &env->cur_state)) in is_state_visited()
1686 sl = sl->next; in is_state_visited()
2177 struct verifier_state_list *sl, *sln; in free_states() local
2184 sl = env->explored_states[i]; in free_states()
2186 if (sl) in free_states()
2187 while (sl != STATE_LIST_MARK) { in free_states()
2188 sln = sl->next; in free_states()
2189 kfree(sl); in free_states()
2190 sl = sln; in free_states()