Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dliveness.c122 u32 insn_idx; member
248 static int relative_idx(struct func_instance *instance, u32 insn_idx) in relative_idx() argument
250 return insn_idx - instance->callchain.sp_starts[instance->callchain.curframe]; in relative_idx()
254 u32 frame, u32 insn_idx) in get_frame_masks() argument
259 return &instance->frames[frame][relative_idx(instance, insn_idx)]; in get_frame_masks()
264 u32 frame, u32 insn_idx) in alloc_frame_masks() argument
275 return get_frame_masks(instance, frame, insn_idx); in alloc_frame_masks()
302 struct func_instance *instance, u32 frame, u32 insn_idx, u64 mask) in mark_stack_read() argument
307 masks = alloc_frame_masks(env, instance, frame, insn_idx); in mark_stack_read()
318 int bpf_mark_stack_read(struct bpf_verifier_env *env, u32 frame, u32 insn_idx, u64 mask) in bpf_mark_stack_read() argument
[all …]
H A Dverifier.c181 /* verifier_state + insn_idx are pushed to stack when branch is encountered */
184 * before processing instruction 'insn_idx'
188 int insn_idx; member
205 static int acquire_reference(struct bpf_verifier_env *env, int insn_idx);
578 static bool is_may_goto_insn_at(struct bpf_verifier_env *env, int insn_idx) in is_may_goto_insn_at() argument
580 return is_may_goto_insn(&env->prog->insnsi[insn_idx]); in is_may_goto_insn_at()
770 enum bpf_arg_type arg_type, int insn_idx, int clone_ref_obj_id) in mark_stack_slots_dynptr()
815 id = acquire_reference(env, insn_idx); in mark_stack_slots_dynptr()
1051 struct bpf_reg_state *reg, int insn_idx, in mark_stack_slots_iter()
1061 id = acquire_reference(env, insn_idx); in mark_stack_slots_iter()
763 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) mark_stack_slots_dynptr() argument
1044 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) mark_stack_slots_iter() argument
1179 mark_stack_slot_irq_flag(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,struct bpf_reg_state * reg,int insn_idx,int kfunc_class) mark_stack_slot_irq_flag() argument
1238 int insn_idx = 0; unmark_stack_slot_irq_flag() local
1512 acquire_reference_state(struct bpf_verifier_env * env,int insn_idx) acquire_reference_state() argument
1526 acquire_reference(struct bpf_verifier_env * env,int insn_idx) acquire_reference() argument
1538 acquire_lock_state(struct bpf_verifier_env * env,int insn_idx,enum ref_state_type type,int id,void * ptr) acquire_lock_state() argument
1557 acquire_irq_state(struct bpf_verifier_env * env,int insn_idx) acquire_irq_state() argument
1846 u32 i, scc, insn_idx; compute_scc_callchain() local
2082 pop_stack(struct bpf_verifier_env * env,int * prev_insn_idx,int * insn_idx,bool pop_log) pop_stack() argument
2123 push_stack(struct bpf_verifier_env * env,int insn_idx,int prev_insn_idx,bool speculative) push_stack() argument
3000 push_async_cb(struct bpf_verifier_env * env,int insn_idx,int prev_insn_idx,int subprog,bool is_sleepable) push_async_cb() argument
3995 is_jmp_point(struct bpf_verifier_env * env,int insn_idx) is_jmp_point() argument
4122 get_jmp_hist_entry(struct bpf_verifier_state * st,u32 hist_end,int insn_idx) get_jmp_hist_entry() argument
5200 check_fastcall_stack_contract(struct bpf_verifier_env * env,struct bpf_func_state * state,int insn_idx,int off) check_fastcall_stack_contract() argument
5230 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) check_stack_write_fixed_off() argument
5376 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) check_stack_write_var_off() argument
5789 check_stack_write(struct bpf_verifier_env * env,int ptr_regno,int off,int size,int value_regno,int insn_idx) check_stack_write() argument
6138 check_map_kptr_access(struct bpf_verifier_env * env,u32 regno,int value_regno,int insn_idx,struct btf_field * kptr_field) check_map_kptr_access() argument
6366 check_ctx_access(struct bpf_verifier_env * env,int insn_idx,int off,int size,enum bpf_access_type t,struct bpf_insn_access_aux * info) check_ctx_access() argument
6410 check_sock_access(struct bpf_verifier_env * env,int insn_idx,u32 regno,int off,int size,enum bpf_access_type t) check_sock_access() argument
7681 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) check_mem_access() argument
8826 process_dynptr_func(struct bpf_verifier_env * env,int regno,int insn_idx,enum bpf_arg_type arg_type,int clone_ref_obj_id) process_dynptr_func() argument
8946 process_iter_arg(struct bpf_verifier_env * env,int regno,int insn_idx,struct bpf_kfunc_call_arg_meta * meta) process_iter_arg() argument
9037 find_prev_entry(struct bpf_verifier_env * env,struct bpf_verifier_state * cur,int insn_idx) find_prev_entry() argument
9204 process_iter_next_call(struct bpf_verifier_env * env,int insn_idx,struct bpf_kfunc_call_arg_meta * meta) process_iter_next_call() argument
9842 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) check_func_arg() argument
10796 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) push_callback_call() argument
10865 check_func_call(struct bpf_verifier_env * env,struct bpf_insn * insn,int * insn_idx) check_func_call() argument
10975 set_callee_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_callee_state() argument
10990 set_map_elem_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_map_elem_callback_state() argument
11016 set_loop_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_loop_callback_state() argument
11038 set_timer_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_timer_callback_state() argument
11068 set_find_vma_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_find_vma_callback_state() argument
11096 set_user_ringbuf_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_user_ringbuf_callback_state() argument
11119 set_rbtree_add_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_rbtree_add_callback_state() argument
11151 set_task_work_schedule_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_task_work_schedule_callback_state() argument
11212 prepare_func_exit(struct bpf_verifier_env * env,int * insn_idx) prepare_func_exit() argument
11346 record_func_map(struct bpf_verifier_env * env,struct bpf_call_arg_meta * meta,int func_id,int insn_idx) record_func_map() argument
11392 record_func_key(struct bpf_verifier_env * env,struct bpf_call_arg_meta * meta,int func_id,int insn_idx) record_func_key() argument
11628 int insn_idx = *insn_idx_p; check_helper_call() local
13334 check_kfunc_args(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,int insn_idx) check_kfunc_args() argument
14098 int err, insn_idx = *insn_idx_p; check_kfunc_call() local
17463 check_cond_jmp_op(struct bpf_verifier_env * env,struct bpf_insn * insn,int * insn_idx) check_cond_jmp_op() argument
18191 is_prune_point(struct bpf_verifier_env * env,int insn_idx) is_prune_point() argument
18201 is_force_checkpoint(struct bpf_verifier_env * env,int insn_idx) is_force_checkpoint() argument
18211 bpf_calls_callback(struct bpf_verifier_env * env,int insn_idx) bpf_calls_callback() argument
18448 mark_fastcall_pattern_for_call(struct bpf_verifier_env * env,struct bpf_subprog_info * subprog,int insn_idx,s16 lowest_off) mark_fastcall_pattern_for_call() argument
20182 func_states_equal(struct bpf_verifier_env * env,struct bpf_func_state * old,struct bpf_func_state * cur,u32 insn_idx,enum exact_level exact) func_states_equal() argument
20215 u32 insn_idx; states_equal() local
20362 is_iter_next_insn(struct bpf_verifier_env * env,int insn_idx) is_iter_next_insn() argument
20449 is_state_visited(struct bpf_verifier_env * env,int insn_idx) is_state_visited() argument
23133 specialize_kfunc(struct bpf_verifier_env * env,struct bpf_kfunc_desc * desc,int insn_idx) specialize_kfunc() argument
23200 fixup_kfunc_call(struct bpf_verifier_env * env,struct bpf_insn * insn,struct bpf_insn * insn_buf,int insn_idx,int * cnt) fixup_kfunc_call() argument
25697 int insn_idx = env->cfg.insn_postorder[i]; compute_live_registers() local
[all...]
H A Doffload.c304 int insn_idx, int prev_insn_idx) in bpf_prog_offload_verify_insn() argument
312 ret = offload->offdev->ops->insn_hook(env, insn_idx, in bpf_prog_offload_verify_insn()
/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.c379 int insn_idx; member
4566 __u32 insn_idx, const char *sym_name, in bpf_program__record_reloc() argument
4569 struct bpf_insn *insn = &prog->insns[insn_idx]; in bpf_program__record_reloc()
4579 prog->name, sym_name, insn_idx, insn->code); in bpf_program__record_reloc()
4599 prog->name, i, ext->name, ext->sym_idx, insn_idx); in bpf_program__record_reloc()
4604 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4628 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4651 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
4663 prog->name, insn_idx); in bpf_program__record_reloc()
4667 reloc_desc->insn_idx = insn_idx; in bpf_program__record_reloc()
[all …]
H A Drelo_core.h90 int insn_idx, const struct bpf_core_relo *relo,
/linux/tools/objtool/
H A Ddisas.c57 int insn_idx; /* index of the next instruction to print */ member
726 dalt->insn_idx = 0; in disas_alt_init()
894 j = dalt->insn_idx; in disas_alt_print_insn()
904 dalt->insn_idx = j; in disas_alt_print_insn()
906 dalt->insn_idx = -1; in disas_alt_print_insn()
/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/arch/powerpc/net/
H A Dbpf_jit.h217 struct codegen_context *ctx, int insn_idx,
H A Dbpf_jit_comp32.c1070 int insn_idx = ctx->idx - 1; in bpf_jit_build_body() local
1085 insn_idx -= 1; in bpf_jit_build_body()
1089 ret = bpf_add_extable_entry(fp, image, fimage, pass, ctx, insn_idx, in bpf_jit_build_body()
H A Dbpf_jit_comp.c333 struct codegen_context *ctx, int insn_idx, int jmp_off, in bpf_add_extable_entry() argument
355 pc = (unsigned long)&image[insn_idx]; in bpf_add_extable_entry()
/linux/tools/testing/selftests/bpf/
H A Dtest_verifier.c81 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/tools/testing/selftests/bpf/prog_tests/
H A Dreg_bounds.c1200 int insn_idx; in parse_range_cmp_log() member
1215 sprintf(buf, "%d: (%s) %s = %s%d", specs[i].insn_idx, in parse_range_cmp_log()
/linux/include/linux/
H A Dbpf.h1128 int insn_idx, int prev_insn_idx);
1606 u32 insn_idx; member