Searched refs:bpf_explored_state (Results 1 – 3 of 3) sorted by relevance
1271 head = bpf_explored_state(env, insn_idx); in bpf_is_state_visited()
1690 struct list_head *bpf_explored_state(struct bpf_verifier_env *env, int idx) in bpf_explored_state() function7808 head = bpf_explored_state(env, insn_idx); in find_prev_entry()
1206 struct list_head *bpf_explored_state(struct bpf_verifier_env *env, int idx);