692 struct bpf_verifier_env;
695 	struct bpf_verifier_env *env;
719 struct bpf_verifier_env {  struct
816 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog)  in subprog_aux()  argument
821 static inline struct bpf_subprog_info *subprog_info(struct bpf_verifier_env *env, int subprog)  in subprog_info()
828 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
837 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env,
841 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)  in cur_func()
848 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)  in cur_regs()
854 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
856 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
858 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
861 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
889 int mark_chain_precision(struct bpf_verifier_env *env, int regno);
963 static inline void mark_reg_scratched(struct bpf_verifier_env *env, u32 regno)  in mark_reg_scratched()
968 static inline void mark_stack_slot_scratched(struct bpf_verifier_env *env, u32 spi)  in mark_stack_slot_scratched()
973 static inline bool reg_scratched(const struct bpf_verifier_env *env, u32 regno)  in reg_scratched()
978 static inline bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno)  in stack_slot_scratched()
983 static inline bool verifier_state_scratched(const struct bpf_verifier_env *env)  in verifier_state_scratched()
988 static inline void mark_verifier_state_clean(struct bpf_verifier_env *env)  in mark_verifier_state_clean()
995 static inline void mark_verifier_state_scratched(struct bpf_verifier_env *env)  in mark_verifier_state_scratched()
1010 const char *reg_type_str(struct bpf_verifier_env *env, enum bpf_reg_type type);
1015 void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,
1017 void print_insn_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,