Searched refs:explored_state (Results 1 – 1 of 1) sorted by relevance
10726 static struct bpf_verifier_state_list **explored_state( in explored_state() function11480 sl = *explored_state(env, insn); in clean_live_states()11928 pprev = explored_state(env, insn_idx); in is_state_visited()12087 new_sl->next = *explored_state(env, insn_idx); in is_state_visited()12088 *explored_state(env, insn_idx) = new_sl; in is_state_visited()
