Home
last modified time | relevance | path

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

/linux-6.12.1/include/linux/
Dbpf_verifier.h509 struct bpf_verifier_state_list { struct
511 struct bpf_verifier_state_list *next; argument
715 struct bpf_verifier_state_list **explored_states; /* search pruning optimization */
716 struct bpf_verifier_state_list *free_list;
/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()
8066 struct bpf_verifier_state_list *sl; in find_prev_entry()
17186 struct bpf_verifier_state_list *sl; in clean_live_states()
17875 struct bpf_verifier_state_list *new_sl; in is_state_visited()
17876 struct bpf_verifier_state_list *sl, **pprev; in is_state_visited()
18154 new_sl = kzalloc(sizeof(struct bpf_verifier_state_list), GFP_KERNEL); in is_state_visited()
21476 struct bpf_verifier_state_list *sl, *sln; in free_states()
22374 sizeof(struct bpf_verifier_state_list *), in bpf_check()