Home
last modified time | relevance | path

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

/Linux-v5.4/include/linux/
Dbpf_verifier.h350 struct bpf_verifier_env { struct
398 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, argument
401 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env) in cur_func()
408 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
414 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
416 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
418 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
421 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
Dbpf.h18 struct bpf_verifier_env;
329 int (*insn_hook)(struct bpf_verifier_env *env,
331 int (*finalize)(struct bpf_verifier_env *env);
333 int (*replace_insn)(struct bpf_verifier_env *env, u32 off,
335 int (*remove_insns)(struct bpf_verifier_env *env, u32 off, u32 cnt);
/Linux-v5.4/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.h564 int nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx,
566 int nfp_bpf_finalize(struct bpf_verifier_env *env);
568 int nfp_bpf_opt_replace_insn(struct bpf_verifier_env *env, u32 off,
570 int nfp_bpf_opt_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
/Linux-v5.4/kernel/bpf/
Dverifier.c213 find_linfo(const struct bpf_verifier_env *env, u32 insn_off) in find_linfo()
256 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, in bpf_verifier_log_write()
272 struct bpf_verifier_env *env = private_data; in verbose()
291 __printf(3, 4) static void verbose_linfo(struct bpf_verifier_env *env, in verbose_linfo()
412 static void print_liveness(struct bpf_verifier_env *env, in print_liveness()
425 static struct bpf_func_state *func(struct bpf_verifier_env *env, in func()
433 static void print_verifier_state(struct bpf_verifier_env *env, in print_verifier_state()
620 static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx) in acquire_reference_state()
759 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st) in update_branch_counts()
776 static int pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx, in pop_stack()
[all …]
Doffload.c143 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env, in bpf_prog_offload_verify_insn()
159 int bpf_prog_offload_finalize(struct bpf_verifier_env *env) in bpf_prog_offload_finalize()
178 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off, in bpf_prog_offload_replace_insn()
197 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt) in bpf_prog_offload_remove_insns()
/Linux-v5.4/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()
77 static int nsim_bpf_finalize(struct bpf_verifier_env *env) in nsim_bpf_finalize()