| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 182 int insn_idx; member
1221 insn_idx = env->cur_state->refs[i].insn_idx; in unmark_stack_slot_irq_flag()
1501 state->refs[new_ofs].insn_idx = insn_idx; in acquire_reference_state()
2005 if (insn_idx) in pop_stack()
2006 *insn_idx = head->insn_idx; in pop_stack()
2029 elem->insn_idx = insn_idx; in push_stack()
2796 elem->insn_idx = insn_idx; in push_async_cb()
17366 if (insn_idx - i < 0 || insn_idx + i >= env->prog->len) in mark_fastcall_pattern_for_call()
18710 u32 insn_idx; in states_equal() local
19021 if (sl->state.insn_idx != insn_idx) in is_state_visited()
[all …]
|
| H A D | offload.c | 314 int insn_idx, int prev_insn_idx) in bpf_prog_offload_verify_insn() argument
322 ret = offload->offdev->ops->insn_hook(env, insn_idx, in bpf_prog_offload_verify_insn()
|
| H A D | log.c | 877 verbose(env, "%d:", env->insn_idx); in print_insn_state()
|
| /linux-6.15/tools/lib/bpf/ |
| H A D | relo_core.c | 986 int insn_idx, struct bpf_insn *insn) in bpf_core_poison_insn() argument
989 prog_name, relo_idx, insn_idx); in bpf_core_poison_insn()
1041 int insn_idx, const struct bpf_core_relo *relo, in bpf_core_patch_insn() argument
1071 insn_idx, insn->imm, (unsigned long long)orig_val, in bpf_core_patch_insn()
1078 prog_name, relo_idx, insn_idx, in bpf_core_patch_insn()
1098 prog_name, relo_idx, insn_idx); in bpf_core_patch_insn()
1121 prog_name, relo_idx, insn_idx, res->new_sz); in bpf_core_patch_insn()
1138 prog_name, relo_idx, insn_idx); in bpf_core_patch_insn()
1146 insn_idx, (unsigned long long)imm, in bpf_core_patch_insn()
1154 prog_name, relo_idx, insn_idx, in bpf_core_patch_insn()
[all …]
|
| H A D | bpf_gen_internal.h | 11 int insn_idx; member
71 bool is_typeless, bool is_ld64, int kind, int insn_idx);
|
| H A D | libbpf.c | 4532 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4556 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4579 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4590 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4620 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4648 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
5849 relo->insn_idx = insn_idx; in record_relo_core()
6334 if (insn_idx == relo->insn_idx) in cmp_relo_by_insn_idx()
6336 return insn_idx < relo->insn_idx ? -1 : 1; in cmp_relo_by_insn_idx()
6422 for (insn_idx = 0; insn_idx < prog->sec_insn_cnt; insn_idx++) { in bpf_object__reloc_code()
[all …]
|
| H A D | relo_core.h | 90 int insn_idx, const struct bpf_core_relo *relo,
|
| H A D | gen_loader.c | 597 bool is_typeless, bool is_ld64, int kind, int insn_idx) in bpf_gen__record_extern() argument
613 relo->insn_idx = insn_idx; in bpf_gen__record_extern()
906 relo->kind, relo->name, relo->insn_idx, relo->is_ld64 ? "ld64" : "call"); in emit_relo()
907 insn = insns + sizeof(struct bpf_insn) * relo->insn_idx; in emit_relo()
|
| /linux-6.15/drivers/net/ethernet/netronome/nfp/bpf/ |
| H A D | verifier.c | 21 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 D | main.h | 566 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx,
587 unsigned int insn_idx);
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 280 int insn_idx; member
431 u32 insn_idx; member
720 u32 insn_idx; member
855 int insn_idx, int prev_insn_idx);
|
| H A D | bpf.h | 1055 int insn_idx, int prev_insn_idx);
1501 u32 insn_idx; member
|
| /linux-6.15/drivers/net/netdevsim/ |
| H A D | bpf.c | 63 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-6.15/arch/powerpc/net/ |
| H A D | bpf_jit.h | 189 struct codegen_context *ctx, int insn_idx,
|
| H A D | bpf_jit_comp.c | 328 struct codegen_context *ctx, int insn_idx, int jmp_off, in bpf_add_extable_entry() argument
350 pc = (unsigned long)&image[insn_idx]; in bpf_add_extable_entry()
|
| H A D | bpf_jit_comp32.c | 1071 int insn_idx = ctx->idx - 1; in bpf_jit_build_body() local
1086 insn_idx -= 1; in bpf_jit_build_body()
1090 ret = bpf_add_extable_entry(fp, image, fimage, pass, ctx, insn_idx, in bpf_jit_build_body()
|
| /linux-6.15/tools/testing/selftests/bpf/ |
| H A D | test_verifier.c | 81 int insn_idx; member
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()
|
| /linux-6.15/tools/testing/selftests/bpf/prog_tests/ |
| H A D | reg_bounds.c | 1146 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()
|