Home
last modified time | relevance | path

Searched refs:subseq_idx (Results 1 – 2 of 2) sorted by relevance

/linux/tools/testing/selftests/bpf/
H A Dtest_verifier.c1422 int subseq_idx = find_insn_subseq(seq, subseqs, in find_all_insn_subseqs() local
1425 if (subseq_idx < 0) in find_all_insn_subseqs()
1427 seq += subseq_idx + cur_subseq_len; in find_all_insn_subseqs()
1428 seq_len -= subseq_idx + cur_subseq_len; in find_all_insn_subseqs()
/linux/kernel/bpf/
H A Dverifier.c4260 * @subseq_idx is an index of the subsequent instruction that:
4264 static int backtrack_insn(struct bpf_verifier_env *env, int idx, int subseq_idx, in backtrack_insn() argument
4384 verifier_bug_if(idx + 1 != subseq_idx, env, in backtrack_insn()
4430 } else if (is_sync_callback_calling_insn(insn) && idx != subseq_idx - 1) { in backtrack_insn()
4432 * kfunc call. Use idx/subseq_idx check to discern it from in backtrack_insn()
4475 * the inner frame 'subseq_idx' is a part of the outer frame. in backtrack_insn()
4482 if (subseq_idx >= 0 && calls_callback(env, subseq_idx)) in backtrack_insn()
4493 * whether the instruction at subseq_idx-1 is subprog in backtrack_insn()
4499 r0_precise = subseq_idx in backtrack_insn()
4772 int subseq_idx = -1; __mark_chain_precision() local
[all...]