Lines Matching refs:bpf_verifier_env
491 struct bpf_verifier_env { struct
560 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, argument
565 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env) in cur_func()
572 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
578 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
580 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
582 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
585 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
587 int check_ptr_off_reg(struct bpf_verifier_env *env,
589 int check_func_arg_reg_off(struct bpf_verifier_env *env,
592 int check_kfunc_mem_size_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
594 int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
596 bool is_dynptr_reg_valid_init(struct bpf_verifier_env *env,
598 bool is_dynptr_type_expected(struct bpf_verifier_env *env,
628 int mark_chain_precision(struct bpf_verifier_env *env, int regno);