Lines Matching refs:this_branch

16175 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()  argument
16192 find_good_pkt_pointers(this_branch, dst_reg, in try_match_pkt_pointers()
16202 mark_pkt_end(this_branch, insn->src_reg, false); in try_match_pkt_pointers()
16215 mark_pkt_end(this_branch, insn->dst_reg, false); in try_match_pkt_pointers()
16221 find_good_pkt_pointers(this_branch, src_reg, in try_match_pkt_pointers()
16234 find_good_pkt_pointers(this_branch, dst_reg, in try_match_pkt_pointers()
16244 mark_pkt_end(this_branch, insn->src_reg, true); in try_match_pkt_pointers()
16257 mark_pkt_end(this_branch, insn->dst_reg, true); in try_match_pkt_pointers()
16263 find_good_pkt_pointers(this_branch, src_reg, in try_match_pkt_pointers()
16373 struct bpf_verifier_state *this_branch = env->cur_state; in check_cond_jmp_op() local
16375 struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs; in check_cond_jmp_op()
16474 print_insn_state(env, this_branch, this_branch->curframe); in check_cond_jmp_op()
16488 print_insn_state(env, this_branch, this_branch->curframe); in check_cond_jmp_op()
16498 collect_linked_regs(this_branch, src_reg->id, &linked_regs); in check_cond_jmp_op()
16500 collect_linked_regs(this_branch, dst_reg->id, &linked_regs); in check_cond_jmp_op()
16502 err = push_insn_history(env, this_branch, 0, linked_regs_pack(&linked_regs)); in check_cond_jmp_op()
16537 sync_linked_regs(this_branch, src_reg, &linked_regs); in check_cond_jmp_op()
16542 sync_linked_regs(this_branch, dst_reg, &linked_regs); in check_cond_jmp_op()
16593 mark_ptr_or_null_regs(this_branch, insn->dst_reg, in check_cond_jmp_op()
16598 this_branch, other_branch) && in check_cond_jmp_op()
16605 print_insn_state(env, this_branch, this_branch->curframe); in check_cond_jmp_op()