17268 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()  argument
17286 			mark_pkt_end(other_branch, insn->dst_reg, true);  in try_match_pkt_pointers()
17292 			find_good_pkt_pointers(other_branch, src_reg,  in try_match_pkt_pointers()
17305 			find_good_pkt_pointers(other_branch, dst_reg,  in try_match_pkt_pointers()
17315 			mark_pkt_end(other_branch, insn->src_reg, true);  in try_match_pkt_pointers()
17328 			mark_pkt_end(other_branch, insn->dst_reg, false);  in try_match_pkt_pointers()
17334 			find_good_pkt_pointers(other_branch, src_reg,  in try_match_pkt_pointers()
17347 			find_good_pkt_pointers(other_branch, dst_reg,  in try_match_pkt_pointers()
17357 			mark_pkt_end(other_branch, insn->src_reg, false);  in try_match_pkt_pointers()
17488 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()  local
17638 	other_branch = push_stack(env, *insn_idx + insn->off + 1, *insn_idx, false);  in check_cond_jmp_op()
17639 	if (IS_ERR(other_branch))  in check_cond_jmp_op()
17640 		return PTR_ERR(other_branch);  in check_cond_jmp_op()
17641 	other_branch_regs = other_branch->frame[other_branch->curframe]->regs;  in check_cond_jmp_op()
17668 		sync_linked_regs(env, other_branch, &other_branch_regs[insn->src_reg],  in check_cond_jmp_op()
17674 		sync_linked_regs(env, other_branch, &other_branch_regs[insn->dst_reg],  in check_cond_jmp_op()
17727 		mark_ptr_or_null_regs(other_branch, insn->dst_reg,  in check_cond_jmp_op()
17730 					   this_branch, other_branch) &&  in check_cond_jmp_op()
21022 	struct bpf_verifier_state *other_branch;  in check_indirect_jump()  local
21067 		other_branch = push_stack(env, env->gotox_tmp_buf->items[i],  in check_indirect_jump()
21069 		if (IS_ERR(other_branch))  in check_indirect_jump()
21070 			return PTR_ERR(other_branch);  in check_indirect_jump()