Lines Matching refs:this_branch
10016 struct bpf_verifier_state *this_branch, in try_match_pkt_pointers() argument
10033 find_good_pkt_pointers(this_branch, dst_reg, in try_match_pkt_pointers()
10043 mark_pkt_end(this_branch, insn->src_reg, false); in try_match_pkt_pointers()
10056 mark_pkt_end(this_branch, insn->dst_reg, false); in try_match_pkt_pointers()
10062 find_good_pkt_pointers(this_branch, src_reg, in try_match_pkt_pointers()
10075 find_good_pkt_pointers(this_branch, dst_reg, in try_match_pkt_pointers()
10085 mark_pkt_end(this_branch, insn->src_reg, true); in try_match_pkt_pointers()
10098 mark_pkt_end(this_branch, insn->dst_reg, true); in try_match_pkt_pointers()
10104 find_good_pkt_pointers(this_branch, src_reg, in try_match_pkt_pointers()
10133 struct bpf_verifier_state *this_branch = env->cur_state; in check_cond_jmp_op() local
10135 struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs; in check_cond_jmp_op()
10279 find_equal_scalars(this_branch, src_reg); in check_cond_jmp_op()
10292 find_equal_scalars(this_branch, dst_reg); in check_cond_jmp_op()
10306 mark_ptr_or_null_regs(this_branch, insn->dst_reg, in check_cond_jmp_op()
10311 this_branch, other_branch) && in check_cond_jmp_op()
10318 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()