Searched refs:bpf_verifier_env (Results 1 – 9 of 9) sorted by relevance
/linux/include/linux/ |
H A D | bpf_verifier.h | 646 struct bpf_verifier_env; 649 struct bpf_verifier_env *env; 673 struct bpf_verifier_env { struct 767 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, 776 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env, 787 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs() 793 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env, 795 int bpf_prog_offload_finalize(struct bpf_verifier_env *env); 797 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off, 828 int mark_chain_precision(struct bpf_verifier_env *env, int regno); [all …]
|
H A D | bpf.h | 34 struct bpf_verifier_env; 170 int (*map_set_for_each_callback_args)(struct bpf_verifier_env *env, 981 int (*insn_hook)(struct bpf_verifier_env *env, 983 int (*finalize)(struct bpf_verifier_env *env); 985 int (*replace_insn)(struct bpf_verifier_env *env, u32 off, 987 int (*remove_insns)(struct bpf_verifier_env *env, u32 off, u32 cnt); 2456 int map_set_for_each_callback_args(struct bpf_verifier_env *env, 2585 int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog);
|
/linux/drivers/net/ethernet/netronome/nfp/bpf/ |
H A D | verifier.c | 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() 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 D | main.h | 566 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/kernel/bpf/ |
H A D | verifier.c | 354 struct bpf_verifier_env *env = private_data; in verbose() 1002 static bool in_rcu_cs(struct bpf_verifier_env *env); 3438 struct bpf_verifier_env *env = bt->env; in bt_reset() 5298 static bool in_rcu_cs(struct bpf_verifier_env *env) in in_rcu_cs() 6695 struct bpf_verifier_env *env, in check_stack_access_within_bounds() 7125 struct bpf_verifier_env *env, int regno, int off, in check_stack_range_initialized() 13039 struct bpf_verifier_env *env, in check_stack_access_for_ptr_arithmetic() 15833 struct bpf_verifier_env *env, in visit_func_call_insn() 15959 static int check_cfg(struct bpf_verifier_env *env) in check_cfg() 17748 static int do_check(struct bpf_verifier_env *env) in do_check() [all …]
|
H A D | log.c | 304 __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() 755 void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state, in print_verifier_state() [all …]
|
H A D | offload.c | 312 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()
|
H A D | btf.c | 7150 int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog) in btf_prepare_func_args()
|
/linux/drivers/net/netdevsim/ |
H A D | bpf.c | 63 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()
|