Home
last modified time | relevance | path

Searched refs:insn_idx (Results 1 – 12 of 12) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c182 int insn_idx; member
199 static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx);
545 static bool is_may_goto_insn_at(struct bpf_verifier_env *env, int insn_idx) in is_may_goto_insn_at() argument
547 return is_may_goto_insn(&env->prog->insnsi[insn_idx]); in is_may_goto_insn_at()
710 enum bpf_arg_type arg_type, int insn_idx, int clone_ref_obj_id) in mark_stack_slots_dynptr() argument
755 id = acquire_reference_state(env, insn_idx); in mark_stack_slots_dynptr()
1007 struct bpf_reg_state *reg, int insn_idx, in mark_stack_slots_iter() argument
1017 id = acquire_reference_state(env, insn_idx); in mark_stack_slots_iter()
1334 static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx) in acquire_reference_state() argument
1346 state->refs[new_ofs].insn_idx = insn_idx; in acquire_reference_state()
[all …]
H A Doffload.c313 int insn_idx, int prev_insn_idx) in bpf_prog_offload_verify_insn() argument
321 ret = offload->offdev->ops->insn_hook(env, insn_idx, in bpf_prog_offload_verify_insn()
H A Dlog.c874 verbose(env, "%d:", env->insn_idx); in print_insn_state()
/linux/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c21 unsigned int insn_idx) in nfp_bpf_goto_meta() argument
25 backward = meta->n - insn_idx; in nfp_bpf_goto_meta()
26 forward = insn_idx - meta->n; in nfp_bpf_goto_meta()
28 if (min(forward, backward) > nfp_prog->n_insns - insn_idx - 1) { in nfp_bpf_goto_meta()
29 backward = nfp_prog->n_insns - insn_idx - 1; in nfp_bpf_goto_meta()
32 if (min(forward, backward) > insn_idx && backward > insn_idx) { in nfp_bpf_goto_meta()
33 forward = insn_idx; in nfp_bpf_goto_meta()
631 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx, in nfp_verify_insn() argument
637 meta = nfp_bpf_goto_meta(nfp_prog, meta, insn_idx); in nfp_verify_insn()
H A Dmain.h566 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx,
587 unsigned int insn_idx);
/linux/tools/lib/bpf/
H A Dlibbpf.c377 int insn_idx; member
4476 __u32 insn_idx, const char *sym_name, in bpf_program__record_reloc() argument
4479 struct bpf_insn *insn = &prog->insns[insn_idx]; in bpf_program__record_reloc()
4489 prog->name, sym_name, insn_idx, insn->code); in bpf_program__record_reloc()
4509 prog->name, i, ext->name, ext->sym_idx, insn_idx); in bpf_program__record_reloc()
4514 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4538 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4561 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4572 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4593 map->sec_offset, insn_idx); in bpf_program__record_reloc()
[all …]
H A Drelo_core.h90 int insn_idx, const struct bpf_core_relo *relo,
/linux/include/linux/
H A Dbpf_verifier.h267 int insn_idx; member
419 u32 insn_idx; member
697 u32 insn_idx; member
823 int insn_idx, int prev_insn_idx);
H A Dbpf.h1029 int insn_idx, int prev_insn_idx);
1475 u32 insn_idx; member
/linux/drivers/net/netdevsim/
H A Dbpf.c63 nsim_bpf_verify_insn(struct bpf_verifier_env *env, int insn_idx, int prev_insn) in nsim_bpf_verify_insn() argument
69 if (state->nsim_dev->bpf_bind_verifier_delay && !insn_idx) in nsim_bpf_verify_insn()
72 if (insn_idx == env->prog->len - 1) { in nsim_bpf_verify_insn()
/linux/tools/testing/selftests/bpf/
H A Dtest_verifier.c81 int insn_idx;
997 prog[fixup_kfunc_btf_id->insn_idx].off = 1; in fixup_prog_kfuncs()
1002 prog[fixup_kfunc_btf_id->insn_idx].imm = btf_id; in fixup_prog_kfuncs()
85 int insn_idx; global() member
/linux/tools/testing/selftests/bpf/prog_tests/
H A Dreg_bounds.c1146 int insn_idx; in parse_range_cmp_log() member
1161 sprintf(buf, "%d: (%s) %s = %s%d", specs[i].insn_idx, in parse_range_cmp_log()