/linux-master/tools/lib/bpf/ |
H A D | bpf_gen_internal.h | 11 int insn_idx; member in struct:ksym_relo_desc 70 bool is_typeless, bool is_ld64, int kind, int insn_idx);
|
H A D | relo_core.c | 970 int insn_idx, struct bpf_insn *insn) 973 prog_name, relo_idx, insn_idx); 1025 int insn_idx, const struct bpf_core_relo *relo, 1039 bpf_core_poison_insn(prog_name, relo_idx, insn_idx + 1, insn + 1); 1040 bpf_core_poison_insn(prog_name, relo_idx, insn_idx, insn); 1055 insn_idx, insn->imm, (unsigned long long)orig_val, 1062 prog_name, relo_idx, insn_idx, 1070 prog_name, relo_idx, insn_idx, insn->off, (unsigned long long)orig_val, 1076 prog_name, relo_idx, insn_idx, (unsigned long long)new_val); 1082 prog_name, relo_idx, insn_idx); 969 bpf_core_poison_insn(const char *prog_name, int relo_idx, int insn_idx, struct bpf_insn *insn) argument 1024 bpf_core_patch_insn(const char *prog_name, struct bpf_insn *insn, int insn_idx, const struct bpf_core_relo *relo, int relo_idx, const struct bpf_core_relo_res *res) argument [all...] |
H A D | relo_core.h | 90 int insn_idx, const struct bpf_core_relo *relo,
|
H A D | libbpf.c | 351 int insn_idx; member in struct:reloc_desc 4378 __u32 insn_idx, const char *sym_name, 4381 struct bpf_insn *insn = &prog->insns[insn_idx]; 4391 prog->name, sym_name, insn_idx, insn->code); 4411 prog->name, i, ext->name, ext->sym_idx, insn_idx); 4416 reloc_desc->insn_idx = insn_idx; 4440 reloc_desc->insn_idx = insn_idx; 4463 reloc_desc->insn_idx 4376 bpf_program__record_reloc(struct bpf_program *prog, struct reloc_desc *reloc_desc, __u32 insn_idx, const char *sym_name, const Elf64_Sym *sym, const Elf64_Rel *rel) argument 4538 prog_contains_insn(const struct bpf_program *prog, size_t insn_idx) argument 4544 find_prog_by_sec_insn(const struct bpf_object *obj, size_t sec_idx, size_t insn_idx) argument 4581 __u32 insn_idx; local 5690 record_relo_core(struct bpf_program *prog, const struct bpf_core_relo *core_relo, int insn_idx) argument 5708 find_relo_core(struct bpf_program *prog, int insn_idx) argument 5779 int i, err = 0, insn_idx, sec_idx, sec_num; local 5890 poison_map_ldimm64(struct bpf_program *prog, int relo_idx, int insn_idx, struct bpf_insn *insn, int map_idx, const struct bpf_map *map) argument 5920 poison_kfunc_call(struct bpf_program *prog, int relo_idx, int insn_idx, struct bpf_insn *insn, int ext_idx, const struct extern_desc *ext) argument 6183 size_t insn_idx = *(const size_t *)key; local 6191 find_prog_insn_relo(const struct bpf_program *prog, size_t insn_idx) argument 6264 size_t sub_insn_idx, insn_idx; local 7555 int insn_idx, err, spec_len; local 7591 int insn_idx, map_idx; local 7624 int insn_idx, ext_idx; local 9607 unsigned int moff, insn_idx; local [all...] |
H A D | gen_loader.c | 563 bool is_typeless, bool is_ld64, int kind, int insn_idx) 579 relo->insn_idx = insn_idx; 701 /* store btf_id into insn[insn_idx].imm */ 711 /* jump to insn[insn_idx].off store if fd denotes module BTF */ 717 /* store index into insn[insn_idx].off */ 777 /* store lower half of addr into insn[insn_idx].imm */ 779 /* store upper half of addr into insn[insn_idx + 1].imm */ 828 /* set values for insn[insn_idx].imm, insn[insn_idx 562 bpf_gen__record_extern(struct bpf_gen *gen, const char *name, bool is_weak, bool is_typeless, bool is_ld64, int kind, int insn_idx) argument [all...] |
/linux-master/kernel/bpf/ |
H A D | verifier.c | 173 /* verifier_state + insn_idx are pushed to stack when branch is encountered */ 176 * before processing instruction 'insn_idx' 180 int insn_idx; member in struct:bpf_verifier_stack_elem 200 static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx); 541 static bool is_may_goto_insn_at(struct bpf_verifier_env *env, int insn_idx) argument 543 return is_may_goto_insn(&env->prog->insnsi[insn_idx]); 706 enum bpf_arg_type arg_type, int insn_idx, int clone_ref_obj_id) 751 id = acquire_reference_state(env, insn_idx); 1003 struct bpf_reg_state *reg, int insn_idx, 1013 id = acquire_reference_state(env, insn_idx); 705 mark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg, enum bpf_arg_type arg_type, int insn_idx, int clone_ref_obj_id) argument 1001 mark_stack_slots_iter(struct bpf_verifier_env *env, struct bpf_kfunc_call_arg_meta *meta, struct bpf_reg_state *reg, int insn_idx, struct btf *btf, u32 btf_id, int nr_slots) argument 1326 acquire_reference_state(struct bpf_verifier_env *env, int insn_idx) argument 1667 pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx, int *insn_idx, bool pop_log) argument 1696 push_stack(struct bpf_verifier_env *env, int insn_idx, int prev_insn_idx, bool speculative) argument 2403 push_async_cb(struct bpf_verifier_env *env, int insn_idx, int prev_insn_idx, int subprog) argument 3318 is_jmp_point(struct bpf_verifier_env *env, int insn_idx) argument 3361 get_jmp_hist_entry(struct bpf_verifier_state *st, u32 hist_end, int insn_idx) argument 4479 check_stack_write_fixed_off(struct bpf_verifier_env *env, struct bpf_func_state *state, int off, int size, int value_regno, int insn_idx) argument 4621 check_stack_write_var_off(struct bpf_verifier_env *env, struct bpf_func_state *state, int ptr_regno, int off, int size, int value_regno, int insn_idx) argument 5024 check_stack_write(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int value_regno, int insn_idx) argument 5353 check_map_kptr_access(struct bpf_verifier_env *env, u32 regno, int value_regno, int insn_idx, struct btf_field *kptr_field) argument 5558 check_ctx_access(struct bpf_verifier_env *env, int insn_idx, int off, int size, enum bpf_access_type t, enum bpf_reg_type *reg_type, struct btf **btf, u32 *btf_id) argument 5606 check_sock_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, int off, int size, enum bpf_access_type t) argument 6736 check_mem_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, int off, int bpf_size, enum bpf_access_type t, int value_regno, bool strict_alignment_once, bool is_ldsx) argument 6975 check_atomic(struct bpf_verifier_env *env, int insn_idx, struct bpf_insn *insn) argument 7657 process_dynptr_func(struct bpf_verifier_env *env, int regno, int insn_idx, enum bpf_arg_type arg_type, int clone_ref_obj_id) argument 7765 process_iter_arg(struct bpf_verifier_env *env, int regno, int insn_idx, struct bpf_kfunc_call_arg_meta *meta) argument 7841 find_prev_entry(struct bpf_verifier_env *env, struct bpf_verifier_state *cur, int insn_idx) argument 7991 process_iter_next_call(struct bpf_verifier_env *env, int insn_idx, struct bpf_kfunc_call_arg_meta *meta) argument 8569 check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn, int insn_idx) argument 9468 push_callback_call(struct bpf_verifier_env *env, struct bpf_insn *insn, int insn_idx, int subprog, set_callee_state_fn set_callee_state_cb) argument 9536 check_func_call(struct bpf_verifier_env *env, struct bpf_insn *insn, int *insn_idx) argument 9633 set_callee_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9647 set_map_elem_callback_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9677 set_loop_callback_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9699 set_timer_callback_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9729 set_find_vma_callback_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9757 set_user_ringbuf_callback_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9780 set_rbtree_add_callback_state(struct bpf_verifier_env *env, struct bpf_func_state *caller, struct bpf_func_state *callee, int insn_idx) argument 9842 prepare_func_exit(struct bpf_verifier_env *env, int *insn_idx) argument 9984 record_func_map(struct bpf_verifier_env *env, struct bpf_call_arg_meta *meta, int func_id, int insn_idx) argument 10030 record_func_key(struct bpf_verifier_env *env, struct bpf_call_arg_meta *meta, int func_id, int insn_idx) argument 10189 int insn_idx = *insn_idx_p; local 11604 check_kfunc_args(struct bpf_verifier_env *env, struct bpf_kfunc_call_arg_meta *meta, int insn_idx) argument 12103 int err, insn_idx = *insn_idx_p; local 14949 check_cond_jmp_op(struct bpf_verifier_env *env, struct bpf_insn *insn, int *insn_idx) argument 15585 is_prune_point(struct bpf_verifier_env *env, int insn_idx) argument 15595 is_force_checkpoint(struct bpf_verifier_env *env, int insn_idx) argument 15605 calls_callback(struct bpf_verifier_env *env, int insn_idx) argument 17076 is_iter_next_insn(struct bpf_verifier_env *env, int insn_idx) argument 17163 is_state_visited(struct bpf_verifier_env *env, int insn_idx) argument 19459 fixup_kfunc_call(struct bpf_verifier_env *env, struct bpf_insn *insn, struct bpf_insn *insn_buf, int insn_idx, int *cnt) argument [all...] |
H A D | offload.c | 313 int insn_idx, int prev_insn_idx) 321 ret = offload->offdev->ops->insn_hook(env, insn_idx, 312 bpf_prog_offload_verify_insn(struct bpf_verifier_env *env, int insn_idx, int prev_insn_idx) argument
|
H A D | log.c | 873 verbose(env, "%d:", env->insn_idx);
|
/linux-master/drivers/net/ethernet/netronome/nfp/bpf/ |
H A D | verifier.c | 21 unsigned int insn_idx) 25 backward = meta->n - insn_idx; 26 forward = insn_idx - meta->n; 28 if (min(forward, backward) > nfp_prog->n_insns - insn_idx - 1) { 29 backward = nfp_prog->n_insns - insn_idx - 1; 32 if (min(forward, backward) > insn_idx && backward > insn_idx) { 33 forward = insn_idx; 631 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx, argument 637 meta = nfp_bpf_goto_meta(nfp_prog, meta, insn_idx); 20 nfp_bpf_goto_meta(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta, unsigned int insn_idx) argument [all...] |
H A D | main.h | 566 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx, 587 unsigned int insn_idx);
|
/linux-master/arch/powerpc/net/ |
H A D | bpf_jit.h | 172 struct codegen_context *ctx, int insn_idx,
|
H A D | bpf_jit_comp.c | 258 struct codegen_context *ctx, int insn_idx, int jmp_off, 280 pc = (unsigned long)&image[insn_idx]; 257 bpf_add_extable_entry(struct bpf_prog *fp, u32 *image, u32 *fimage, int pass, struct codegen_context *ctx, int insn_idx, int jmp_off, int dst_reg) argument
|
H A D | bpf_jit_comp32.c | 982 int insn_idx = ctx->idx - 1; local 997 insn_idx -= 1; 1001 ret = bpf_add_extable_entry(fp, image, fimage, pass, ctx, insn_idx,
|
/linux-master/include/linux/ |
H A D | bpf_verifier.h | 220 /* Tracks subreg definition. The stored value is the insn_idx of the 264 int insn_idx; member in struct:bpf_reference_state 418 u32 insn_idx; member in struct:bpf_verifier_state 665 u32 insn_idx; member in struct:bpf_verifier_env 785 int insn_idx, int prev_insn_idx);
|
H A D | bpf.h | 972 int insn_idx, int prev_insn_idx); 1411 u32 insn_idx; member in struct:bpf_jit_poke_descriptor
|
/linux-master/drivers/net/netdevsim/ |
H A D | bpf.c | 63 nsim_bpf_verify_insn(struct bpf_verifier_env *env, int insn_idx, int prev_insn) argument 69 if (state->nsim_dev->bpf_bind_verifier_delay && !insn_idx) 72 if (insn_idx == env->prog->len - 1) {
|
/linux-master/tools/testing/selftests/bpf/ |
H A D | test_verifier.c | 85 int insn_idx; member in struct:kfunc_btf_id_pair 1001 prog[fixup_kfunc_btf_id->insn_idx].off = 1; 1006 prog[fixup_kfunc_btf_id->insn_idx].imm = btf_id;
|
/linux-master/tools/testing/selftests/bpf/prog_tests/ |
H A D | reg_bounds.c | 1133 int insn_idx; member in struct:__anon3340 1148 sprintf(buf, "%d: (%s) %s = %s%d", specs[i].insn_idx,
|