Lines Matching refs:bpf_verifier_state_list
1679 static struct bpf_verifier_state_list *state_parent_as_list(struct bpf_verifier_state *st) in state_parent_as_list()
1682 return container_of(st->parent, struct bpf_verifier_state_list, state); in state_parent_as_list()
1686 static struct bpf_verifier_state_list *state_loop_entry_as_list(struct bpf_verifier_state *st) in state_loop_entry_as_list()
1689 return container_of(st->loop_entry, struct bpf_verifier_state_list, state); in state_loop_entry_as_list()
1701 struct bpf_verifier_state_list *sl) in maybe_free_verifier_state()
1703 struct bpf_verifier_state_list *loop_entry_sl; in maybe_free_verifier_state()
1957 struct bpf_verifier_state_list *sl = NULL, *parent_sl; in update_branch_counts()
8727 struct bpf_verifier_state_list *sl; in find_prev_entry()
8734 sl = container_of(pos, struct bpf_verifier_state_list, node); in find_prev_entry()
18274 struct bpf_verifier_state_list *sl; in clean_live_states()
18279 sl = container_of(pos, struct bpf_verifier_state_list, node); in clean_live_states()
18991 struct bpf_verifier_state_list *new_sl; in is_state_visited()
18992 struct bpf_verifier_state_list *sl; in is_state_visited()
19019 sl = container_of(pos, struct bpf_verifier_state_list, node); in is_state_visited()
19254 new_sl = kzalloc(sizeof(struct bpf_verifier_state_list), GFP_KERNEL); in is_state_visited()
22631 struct bpf_verifier_state_list *sl; in free_states()
22636 sl = container_of(pos, struct bpf_verifier_state_list, node); in free_states()
22649 sl = container_of(pos, struct bpf_verifier_state_list, node); in free_states()