Symbol: bpf_explored_state
include/linux/bpf_verifier.h
1179
struct list_head *bpf_explored_state(struct bpf_verifier_env *env, int idx);
kernel/bpf/states.c
1270
head = bpf_explored_state(env, insn_idx);
kernel/bpf/verifier.c
7457
head = bpf_explored_state(env, insn_idx);