Searched refs:other_branch (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 18594 struct bpf_verifier_state *other_branch) in do_check()
18612 mark_pkt_end(other_branch, insn->dst_reg, true); in do_check()
18618 find_good_pkt_pointers(other_branch, src_reg, in find_btf_percpu_datasec()
18631 find_good_pkt_pointers(other_branch, dst_reg, in find_btf_percpu_datasec()
18641 mark_pkt_end(other_branch, insn->src_reg, true);
18654 mark_pkt_end(other_branch, insn->dst_reg, false); in __add_used_btf()
18660 find_good_pkt_pointers(other_branch, src_reg, in __add_used_btf()
18673 find_good_pkt_pointers(other_branch, dst_reg, in __add_used_btf()
18683 mark_pkt_end(other_branch, insn->src_reg, false); in __add_used_btf()
18812 struct bpf_verifier_state *other_branch; in is_tracing_prog_type()
16752 try_match_pkt_pointers(const struct bpf_insn * insn,struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg,struct bpf_verifier_state * this_branch,struct bpf_verifier_state * other_branch) try_match_pkt_pointers() argument
16967 struct bpf_verifier_state *other_branch; check_cond_jmp_op() local
18238 struct bpf_verifier_state *other_branch; check_indirect_jump() local
[all...] |