Home
last modified time | relevance | path

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

/linux-6.12.1/include/linux/
Dbpf_verifier.h676 struct bpf_verifier_env;
679 struct bpf_verifier_env *env;
703 struct bpf_verifier_env { struct
789 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog) in subprog_aux() argument
794 static inline struct bpf_subprog_info *subprog_info(struct bpf_verifier_env *env, int subprog) in subprog_info()
801 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
810 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env,
814 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env) in cur_func()
821 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
827 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
[all …]
Dbpf.h34 struct bpf_verifier_env;
170 int (*map_set_for_each_callback_args)(struct bpf_verifier_env *env,
1003 int (*insn_hook)(struct bpf_verifier_env *env,
1005 int (*finalize)(struct bpf_verifier_env *env);
1007 int (*replace_insn)(struct bpf_verifier_env *env, u32 off,
1009 int (*remove_insns)(struct bpf_verifier_env *env, u32 off, u32 cnt);
2498 int map_set_for_each_callback_args(struct bpf_verifier_env *env,
2627 int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog);
/linux-6.12.1/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c83 static bool nfp_bpf_map_update_value_ok(struct bpf_verifier_env *env) in nfp_bpf_map_update_value_ok()
124 nfp_bpf_stack_arg_ok(const char *fname, struct bpf_verifier_env *env, in nfp_bpf_stack_arg_ok()
157 nfp_bpf_map_call_ok(const char *fname, struct bpf_verifier_env *env, in nfp_bpf_map_call_ok()
171 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()
417 nfp_bpf_map_mark_used(struct bpf_verifier_env *env, struct nfp_insn_meta *meta, in nfp_bpf_map_mark_used()
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()
[all …]
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.12.1/kernel/bpf/
Dverifier.c197 static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx);
198 static int release_reference(struct bpf_verifier_env *env, int ref_obj_id);
199 static void invalidate_non_owning_refs(struct bpf_verifier_env *env);
200 static bool in_rbtree_lock_required_cb(struct bpf_verifier_env *env);
201 static int ref_set_non_owning(struct bpf_verifier_env *env,
203 static void specialize_kfunc(struct bpf_verifier_env *env,
356 struct bpf_verifier_env *env = private_data; in verbose()
367 static void verbose_invalid_scalar(struct bpf_verifier_env *env, in verbose_invalid_scalar()
421 static bool subprog_is_global(const struct bpf_verifier_env *env, int subprog) in subprog_is_global()
428 static const char *subprog_name(const struct bpf_verifier_env *env, int subprog) in subprog_name()
[all …]
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()
542 static void print_liveness(struct bpf_verifier_env *env, in print_liveness()
569 static void verbose_unum(struct bpf_verifier_env *env, u64 num) in verbose_unum()
577 static void verbose_snum(struct bpf_verifier_env *env, s64 num) in verbose_snum()
598 static void print_scalar_ranges(struct bpf_verifier_env *env, in print_scalar_ranges()
680 static void print_reg_state(struct bpf_verifier_env *env, in print_reg_state()
756 void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state, in print_verifier_state()
[all …]
Doffload.c312 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env, in bpf_prog_offload_verify_insn()
328 int bpf_prog_offload_finalize(struct bpf_verifier_env *env) in bpf_prog_offload_finalize()
347 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off, in bpf_prog_offload_replace_insn()
366 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt) in bpf_prog_offload_remove_insns()
Dbtf.c7362 int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog) in btf_prepare_func_args()
/linux-6.12.1/drivers/net/netdevsim/
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()