Searched refs:explored_state (Results 1 – 1 of 1) sorted by relevance
1790 static struct list_head *explored_state(struct bpf_verifier_env *env, int idx) in explored_state() function8927 head = explored_state(env, insn_idx); in find_prev_entry()19049 head = explored_state(env, insn); in clean_live_states()19740 head = explored_state(env, insn_idx); in is_state_visited()