Searched refs:explored_state (Results 1 - 1 of 1) sorted by last modified time

/linux-master/kernel/bpf/
H A Dverifier.c1470 static struct bpf_verifier_state_list **explored_state(struct bpf_verifier_env *env, int idx) function
7901 sl = *explored_state(env, insn_idx);
16645 sl = *explored_state(env, insn);
17347 pprev = explored_state(env, insn_idx);
17517 * from reaching our parent (an explored_state). Our
17631 new_sl->next = *explored_state(env, insn_idx);
17632 *explored_state(env, insn_idx) = new_sl;

Completed in 496 milliseconds