695 	struct bpf_verifier_env *env;  member
816 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog)  in subprog_aux()  argument
818 	return &env->prog->aux->func_info_aux[subprog];  in subprog_aux()
821 static inline struct bpf_subprog_info *subprog_info(struct bpf_verifier_env *env, int subprog)  in subprog_info()  argument
823 	return &env->subprog_info[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()  argument
843 	struct bpf_verifier_state *cur = env->cur_state;  in cur_func()
848 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)  in cur_regs()  argument
850 	return cur_func(env)->regs;  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()  argument
965 	env->scratched_regs |= 1U << 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()  argument
970 	env->scratched_stack_slots |= 1ULL << spi;  in mark_stack_slot_scratched()
973 static inline bool reg_scratched(const struct bpf_verifier_env *env, u32 regno)  in reg_scratched()  argument
975 	return (env->scratched_regs >> regno) & 1;  in reg_scratched()
978 static inline bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno)  in stack_slot_scratched()  argument
980 	return (env->scratched_stack_slots >> regno) & 1;  in stack_slot_scratched()
983 static inline bool verifier_state_scratched(const struct bpf_verifier_env *env)  in verifier_state_scratched()  argument
985 	return env->scratched_regs || env->scratched_stack_slots;  in verifier_state_scratched()
988 static inline void mark_verifier_state_clean(struct bpf_verifier_env *env)  in mark_verifier_state_clean()  argument
990 	env->scratched_regs = 0U;  in mark_verifier_state_clean()
991 	env->scratched_stack_slots = 0ULL;  in mark_verifier_state_clean()
995 static inline void mark_verifier_state_scratched(struct bpf_verifier_env *env)  in mark_verifier_state_scratched()  argument
997 	env->scratched_regs = ~0U;  in mark_verifier_state_scratched()
998 	env->scratched_stack_slots = ~0ULL;  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,