682 	struct bpf_verifier_env *env;  member
795 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog)  in subprog_aux()  argument
797 	return &env->prog->aux->func_info_aux[subprog];  in subprog_aux()
800 static inline struct bpf_subprog_info *subprog_info(struct bpf_verifier_env *env, int subprog)  in subprog_info()  argument
802 	return &env->subprog_info[subprog];  in subprog_info()
807 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
816 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env,
820 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)  in cur_func()  argument
822 	struct bpf_verifier_state *cur = env->cur_state;  in cur_func()
827 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)  in cur_regs()  argument
829 	return cur_func(env)->regs;  in cur_regs()
833 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
835 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
837 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
840 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
868 int mark_chain_precision(struct bpf_verifier_env *env, int regno);
941 static inline void mark_reg_scratched(struct bpf_verifier_env *env, u32 regno)  in mark_reg_scratched()  argument
943 	env->scratched_regs |= 1U << regno;  in mark_reg_scratched()
946 static inline void mark_stack_slot_scratched(struct bpf_verifier_env *env, u32 spi)  in mark_stack_slot_scratched()  argument
948 	env->scratched_stack_slots |= 1ULL << spi;  in mark_stack_slot_scratched()
951 static inline bool reg_scratched(const struct bpf_verifier_env *env, u32 regno)  in reg_scratched()  argument
953 	return (env->scratched_regs >> regno) & 1;  in reg_scratched()
956 static inline bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno)  in stack_slot_scratched()  argument
958 	return (env->scratched_stack_slots >> regno) & 1;  in stack_slot_scratched()
961 static inline bool verifier_state_scratched(const struct bpf_verifier_env *env)  in verifier_state_scratched()  argument
963 	return env->scratched_regs || env->scratched_stack_slots;  in verifier_state_scratched()
966 static inline void mark_verifier_state_clean(struct bpf_verifier_env *env)  in mark_verifier_state_clean()  argument
968 	env->scratched_regs = 0U;  in mark_verifier_state_clean()
969 	env->scratched_stack_slots = 0ULL;  in mark_verifier_state_clean()
973 static inline void mark_verifier_state_scratched(struct bpf_verifier_env *env)  in mark_verifier_state_scratched()  argument
975 	env->scratched_regs = ~0U;  in mark_verifier_state_scratched()
976 	env->scratched_stack_slots = ~0ULL;  in mark_verifier_state_scratched()
988 const char *reg_type_str(struct bpf_verifier_env *env, enum bpf_reg_type type);
993 void print_verifier_state(struct bpf_verifier_env *env,
995 void print_insn_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);