Lines Matching refs:bpf_verifier_env
676 struct bpf_verifier_env;
679 struct bpf_verifier_env *env;
703 struct bpf_verifier_env { struct
789 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog) in subprog_aux() argument
794 static inline struct bpf_subprog_info *subprog_info(struct bpf_verifier_env *env, int subprog) in subprog_info()
801 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,
810 __printf(3, 4) void verbose_linfo(struct bpf_verifier_env *env,
814 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env) in cur_func()
821 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
827 int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
829 int bpf_prog_offload_finalize(struct bpf_verifier_env *env);
831 bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
834 bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt);
862 int mark_chain_precision(struct bpf_verifier_env *env, int regno);
935 static inline void mark_reg_scratched(struct bpf_verifier_env *env, u32 regno) in mark_reg_scratched()
940 static inline void mark_stack_slot_scratched(struct bpf_verifier_env *env, u32 spi) in mark_stack_slot_scratched()
945 static inline bool reg_scratched(const struct bpf_verifier_env *env, u32 regno) in reg_scratched()
950 static inline bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno) in stack_slot_scratched()
955 static inline bool verifier_state_scratched(const struct bpf_verifier_env *env) in verifier_state_scratched()
960 static inline void mark_verifier_state_clean(struct bpf_verifier_env *env) in mark_verifier_state_clean()
967 static inline void mark_verifier_state_scratched(struct bpf_verifier_env *env) in mark_verifier_state_scratched()
982 const char *reg_type_str(struct bpf_verifier_env *env, enum bpf_reg_type type);
987 void print_verifier_state(struct bpf_verifier_env *env,
989 void print_insn_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);