Lines Matching refs:bpf_verifier_env

15 struct bpf_verifier_env;
19 const char *bpf_diag_fmt_s64_sum(struct bpf_verifier_env *env, s64 value, int addend);
45 bool bpf_diag_enabled(const struct bpf_verifier_env *env);
46 int bpf_diag_init(struct bpf_verifier_env *env);
47 void bpf_diag_init_frame(struct bpf_verifier_env *env, struct bpf_func_state *state);
48 char *bpf_diag_fmt_buf(struct bpf_verifier_env *env, size_t size);
49 const char *bpf_diag_vfmt(struct bpf_verifier_env *env, const char *fmt, va_list args)
51 const char *bpf_diag_fmt(struct bpf_verifier_env *env, const char *fmt, ...) __printf(2, 3);
52 const char *bpf_diag_fmt_btf_type(struct bpf_verifier_env *env, const struct btf *btf, u32 type_id);
53 const char *bpf_diag_reg_type_plain(struct bpf_verifier_env *env, enum bpf_reg_type type);
54 u64 bpf_diag_event_log_save(struct bpf_verifier_env *env);
55 void bpf_diag_event_log_restore(struct bpf_verifier_env *env, u64 log_pos);
57 void bpf_diag_free(struct bpf_verifier_env *env);
58 void bpf_diag_register_type(struct bpf_verifier_env *env, u32 insn_idx, int regno,
60 void bpf_diag_invalid_deref(struct bpf_verifier_env *env, u32 insn_idx, int regno,
63 void bpf_diag_unreadable_reg(struct bpf_verifier_env *env, u32 insn_idx, int regno);
64 void bpf_diag_stack_arg_uninit(struct bpf_verifier_env *env, u32 insn_idx, int nargs,
67 void bpf_diag_memory(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,
69 void bpf_diag_mem_bounds(struct bpf_verifier_env *env, u32 insn_idx, int regno,
72 void bpf_diag_res(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,
74 void bpf_diag_lock(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,
77 void bpf_diag_irq(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,
79 void bpf_diag_leak(struct bpf_verifier_env *env, u32 ref_id, u32 alloc_insn, u32 fail_insn);
80 void bpf_diag_call_type(struct bpf_verifier_env *env, u32 insn_idx, int argno, int regno,
83 void bpf_diag_ctx_forbidden(struct bpf_verifier_env *env, u32 insn_idx,
85 void bpf_diag_ctx_active(struct bpf_verifier_env *env, u32 insn_idx, const char *operation,
87 void bpf_diag_ctx_required(struct bpf_verifier_env *env, u32 insn_idx, const char *operation,
89 void bpf_diag_ctx_underflow(struct bpf_verifier_env *env, u32 insn_idx,
92 void bpf_diag_program_structure(struct bpf_verifier_env *env, u32 insn_idx,
95 void bpf_diag_policy(struct bpf_verifier_env *env, u32 insn_idx, const char *operation,
97 void bpf_diag_record_branch(struct bpf_verifier_env *env, u32 insn_idx, bool cond_true);
98 void bpf_diag_mod_begin(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,
100 void bpf_diag_mod_end(struct bpf_verifier_env *env);
101 void bpf_diag_record_scrub(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,
103 void bpf_diag_record_scrub_stack(struct bpf_verifier_env *env,
106 void bpf_diag_record_ref_acquire(struct bpf_verifier_env *env, u32 insn_idx, u32 ref_id);
107 void bpf_diag_record_ref_release(struct bpf_verifier_env *env, u32 insn_idx, u32 ref_id);
108 void bpf_diag_record_context(struct bpf_verifier_env *env, u32 insn_idx,