265 static int backtrack_insn(struct bpf_verifier_env *env, int idx, int subseq_idx,  in backtrack_insn()  argument
424 				verifier_bug_if(idx + 1 != subseq_idx, env,  in backtrack_insn()
476 		} else if (bpf_is_sync_callback_calling_insn(insn) && idx != subseq_idx - 1) {  in backtrack_insn()
518 			    && subseq_idx - idx != 1) {  in backtrack_insn()
533 			if (subseq_idx >= 0 && bpf_calls_callback(env, subseq_idx))  in backtrack_insn()
550 			r0_precise = subseq_idx - 1 >= 0 &&  in backtrack_insn()
551 				     bpf_pseudo_call(&env->prog->insnsi[subseq_idx - 1]) &&  in backtrack_insn()
798 	int subseq_idx = -1;  in bpf_mark_chain_precision()  local
835 				bt->frame, last_idx, first_idx, subseq_idx);  in bpf_mark_chain_precision()
872 				err = backtrack_insn(env, i, subseq_idx, hist, bt);  in bpf_mark_chain_precision()
887 			subseq_idx = i;  in bpf_mark_chain_precision()
968 		subseq_idx = first_idx;  in bpf_mark_chain_precision()