Lines Matching refs:this_branch
14990 struct bpf_verifier_state *this_branch, in try_match_pkt_pointers() argument
15007 find_good_pkt_pointers(this_branch, dst_reg, in try_match_pkt_pointers()
15017 mark_pkt_end(this_branch, insn->src_reg, false); in try_match_pkt_pointers()
15030 mark_pkt_end(this_branch, insn->dst_reg, false); in try_match_pkt_pointers()
15036 find_good_pkt_pointers(this_branch, src_reg, in try_match_pkt_pointers()
15049 find_good_pkt_pointers(this_branch, dst_reg, in try_match_pkt_pointers()
15059 mark_pkt_end(this_branch, insn->src_reg, true); in try_match_pkt_pointers()
15072 mark_pkt_end(this_branch, insn->dst_reg, true); in try_match_pkt_pointers()
15078 find_good_pkt_pointers(this_branch, src_reg, in try_match_pkt_pointers()
15131 struct bpf_verifier_state *this_branch = env->cur_state; in check_cond_jmp_op() local
15133 struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs; in check_cond_jmp_op()
15232 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()
15246 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()
15280 find_equal_scalars(this_branch, src_reg); in check_cond_jmp_op()
15285 find_equal_scalars(this_branch, dst_reg); in check_cond_jmp_op()
15336 mark_ptr_or_null_regs(this_branch, insn->dst_reg, in check_cond_jmp_op()
15341 this_branch, other_branch) && in check_cond_jmp_op()
15348 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()