Home
last modified time | relevance | path

Searched refs:bpf_verifier_env (Results 1 – 9 of 9) sorted by relevance

/linux-6.15/include/linux/
H A Dbpf_verifier.h692 struct bpf_verifier_env;
695 struct bpf_verifier_env *env;
719 struct bpf_verifier_env { struct
828 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
837 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env,
848 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
854 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
856 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
858 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
889 int mark_chain_precision(struct bpf_verifier_env *env, int regno);
[all …]
H A Dbpf.h35 struct bpf_verifier_env;
171 int (*map_set_for_each_callback_args)(struct bpf_verifier_env *env,
1054 int (*insn_hook)(struct bpf_verifier_env *env,
1056 int (*finalize)(struct bpf_verifier_env *env);
1058 int (*replace_insn)(struct bpf_verifier_env *env, u32 off,
1060 int (*remove_insns)(struct bpf_verifier_env *env, u32 off, u32 cnt);
2599 int map_set_for_each_callback_args(struct bpf_verifier_env *env,
2728 int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog);
/linux-6.15/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c171 struct bpf_verifier_env *env, in nfp_bpf_check_helper_call()
312 struct bpf_verifier_env *env) in nfp_bpf_check_exit()
346 struct bpf_verifier_env *env) in nfp_bpf_check_stack_access()
392 nfp_bpf_map_mark_used_one(struct bpf_verifier_env *env, in nfp_bpf_map_mark_used_one()
452 struct bpf_verifier_env *env, u8 reg_no) in nfp_bpf_check_ptr()
503 struct bpf_verifier_env *env) in nfp_bpf_check_store()
527 struct bpf_verifier_env *env) in nfp_bpf_check_atomic()
557 struct bpf_verifier_env *env) in nfp_bpf_check_alu()
631 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx, in nfp_verify_insn()
673 nfp_assign_subprog_idx_and_regs(struct bpf_verifier_env *env, in nfp_assign_subprog_idx_and_regs()
[all …]
H A Dmain.h566 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx,
568 int nfp_bpf_finalize(struct bpf_verifier_env *env);
570 int nfp_bpf_opt_replace_insn(struct bpf_verifier_env *env, u32 off,
572 int nfp_bpf_opt_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
/linux-6.15/kernel/bpf/
H A Dverifier.c360 struct bpf_verifier_env *env = private_data; in verbose()
1015 static bool in_rcu_cs(struct bpf_verifier_env *env);
3970 struct bpf_verifier_env *env = bt->env; in bt_reset()
5806 static bool in_rcu_cs(struct bpf_verifier_env *env) in in_rcu_cs()
7334 struct bpf_verifier_env *env, in check_stack_access_within_bounds()
7896 struct bpf_verifier_env *env, int regno, int off, in check_stack_range_initialized()
14221 struct bpf_verifier_env *env, in check_stack_access_for_ptr_arithmetic()
17164 struct bpf_verifier_env *env, in visit_func_call_insn()
17571 static int check_cfg(struct bpf_verifier_env *env) in check_cfg()
19392 static int do_check(struct bpf_verifier_env *env) in do_check()
[all …]
H A Dlog.c304 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, in bpf_verifier_log_write()
333 find_linfo(const struct bpf_verifier_env *env, u32 insn_off) in find_linfo()
381 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env, in verbose_linfo()
440 const char *reg_type_str(struct bpf_verifier_env *env, enum bpf_reg_type type) in reg_type_str()
543 static void print_liveness(struct bpf_verifier_env *env, in print_liveness()
570 static void verbose_unum(struct bpf_verifier_env *env, u64 num) in verbose_unum()
578 static void verbose_snum(struct bpf_verifier_env *env, s64 num) in verbose_snum()
599 static void print_scalar_ranges(struct bpf_verifier_env *env, in print_scalar_ranges()
681 static void print_reg_state(struct bpf_verifier_env *env, in print_reg_state()
757 void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, in print_verifier_state()
[all …]
H A Doffload.c313 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env, in bpf_prog_offload_verify_insn()
329 int bpf_prog_offload_finalize(struct bpf_verifier_env *env) in bpf_prog_offload_finalize()
348 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off, in bpf_prog_offload_replace_insn()
367 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt) in bpf_prog_offload_remove_insns()
H A Dbtf.c7648 int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog) in btf_prepare_func_args()
/linux-6.15/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()
82 static int nsim_bpf_finalize(struct bpf_verifier_env *env) in nsim_bpf_finalize()