560 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
565 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)  in cur_func()  argument
567 	struct bpf_verifier_state *cur = env->cur_state;  in cur_func()
572 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)  in cur_regs()  argument
574 	return cur_func(env)->regs;  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);