Lines Matching defs:this_branch

16486 				   struct bpf_verifier_state *this_branch,
16503 			find_good_pkt_pointers(this_branch, dst_reg,
16513 			mark_pkt_end(this_branch, insn->src_reg, false);
16526 			mark_pkt_end(this_branch, insn->dst_reg, false);
16532 			find_good_pkt_pointers(this_branch, src_reg,
16545 			find_good_pkt_pointers(this_branch, dst_reg,
16555 			mark_pkt_end(this_branch, insn->src_reg, true);
16568 			mark_pkt_end(this_branch, insn->dst_reg, true);
16574 			find_good_pkt_pointers(this_branch, src_reg,
16684 	struct bpf_verifier_state *this_branch = env->cur_state;
16686 	struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs;
16770 		err = push_jmp_history(env, this_branch, insn_flags, 0);
16800 			print_insn_state(env, this_branch, this_branch->curframe);
16814 			print_insn_state(env, this_branch, this_branch->curframe);
16820 	 * 'this_branch' and 'other_branch' share this history
16824 		collect_linked_regs(this_branch, src_reg->id, &linked_regs);
16826 		collect_linked_regs(this_branch, dst_reg->id, &linked_regs);
16828 		err = push_jmp_history(env, this_branch, 0, linked_regs_pack(&linked_regs));
16863 		sync_linked_regs(this_branch, src_reg, &linked_regs);
16868 		sync_linked_regs(this_branch, dst_reg, &linked_regs);
16919 		mark_ptr_or_null_regs(this_branch, insn->dst_reg,
16924 					   this_branch, other_branch) &&
16931 		print_insn_state(env, this_branch, this_branch->curframe);