Home
last modified time | relevance | path

Searched refs:explored_state (Results 1 – 1 of 1) sorted by relevance

/linux-6.12.1/kernel/bpf/
Dverifier.c1467 static struct bpf_verifier_state_list **explored_state(struct bpf_verifier_env *env, int idx) in explored_state() function
8070 sl = *explored_state(env, insn_idx); in find_prev_entry()
17188 sl = *explored_state(env, insn); in clean_live_states()
17898 pprev = explored_state(env, insn_idx); in is_state_visited()
18182 new_sl->next = *explored_state(env, insn_idx); in is_state_visited()
18183 *explored_state(env, insn_idx) = new_sl; in is_state_visited()