512 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
517 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)  in cur_func()  argument
519 	struct bpf_verifier_state *cur = env->cur_state;  in cur_func()
524 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)  in cur_regs()  argument
526 	return cur_func(env)->regs;  in cur_regs()
530 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
532 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
534 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
537 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
539 int check_ctx_reg(struct bpf_verifier_env *env,
541 int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,