474 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
479 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)  in cur_func()  argument
481 	struct bpf_verifier_state *cur = env->cur_state;  in cur_func()
486 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)  in cur_regs()  argument
488 	return cur_func(env)->regs;  in cur_regs()
492 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
494 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
496 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
499 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
501 int check_ctx_reg(struct bpf_verifier_env *env,
503 int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,