Searched refs:bpf_verifier_env (Results 1 – 6 of 6) sorted by relevance
| /Linux-v4.19/include/linux/ |
| D | bpf_verifier.h | 185 struct bpf_verifier_env { struct
206 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, argument
209 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
216 int bpf_prog_offload_verifier_prep(struct bpf_verifier_env *env);
217 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
|
| D | bpf.h | 20 struct bpf_verifier_env;
259 int (*insn_hook)(struct bpf_verifier_env *env,
|
| /Linux-v4.19/drivers/net/ethernet/netronome/nfp/bpf/ |
| D | verifier.c | 112 nfp_bpf_stack_arg_ok(const char *fname, struct bpf_verifier_env *env, in nfp_bpf_stack_arg_ok()
145 nfp_bpf_map_call_ok(const char *fname, struct bpf_verifier_env *env, in nfp_bpf_map_call_ok()
158 nfp_bpf_check_call(struct nfp_prog *nfp_prog, struct bpf_verifier_env *env, in nfp_bpf_check_call()
298 struct bpf_verifier_env *env) in nfp_bpf_check_exit()
332 struct bpf_verifier_env *env) in nfp_bpf_check_stack_access()
375 nfp_bpf_map_mark_used_one(struct bpf_verifier_env *env, in nfp_bpf_map_mark_used_one()
393 nfp_bpf_map_mark_used(struct bpf_verifier_env *env, struct nfp_insn_meta *meta, in nfp_bpf_map_mark_used()
428 struct bpf_verifier_env *env, u8 reg_no) in nfp_bpf_check_ptr()
479 struct bpf_verifier_env *env) in nfp_bpf_check_store()
503 struct bpf_verifier_env *env) in nfp_bpf_check_xadd()
[all …]
|
| /Linux-v4.19/kernel/bpf/ |
| D | verifier.c | 219 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, in bpf_verifier_log_write()
235 struct bpf_verifier_env *env = private_data; in verbose()
266 static void print_liveness(struct bpf_verifier_env *env, in print_liveness()
277 static struct bpf_func_state *func(struct bpf_verifier_env *env, in func()
285 static void print_verifier_state(struct bpf_verifier_env *env, in print_verifier_state()
485 static int pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx, in pop_stack()
512 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env, in push_stack()
579 static void mark_reg_known_zero(struct bpf_verifier_env *env, in mark_reg_known_zero()
694 static void mark_reg_unknown(struct bpf_verifier_env *env, in mark_reg_unknown()
713 static void mark_reg_not_init(struct bpf_verifier_env *env, in mark_reg_not_init()
[all …]
|
| D | offload.c | 141 int bpf_prog_offload_verifier_prep(struct bpf_verifier_env *env) in bpf_prog_offload_verifier_prep()
160 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env, in bpf_prog_offload_verify_insn()
|
| /Linux-v4.19/drivers/net/netdevsim/ |
| D | bpf.c | 75 nsim_bpf_verify_insn(struct bpf_verifier_env *env, int insn_idx, int prev_insn) in nsim_bpf_verify_insn()
|
