Home
last modified time | relevance | path

Searched refs:bpf_verifier_state (Results 1 – 4 of 4) sorted by relevance

/linux-6.15/include/linux/
H A Dbpf_verifier.h379 struct bpf_verifier_state { struct
382 struct bpf_verifier_state *parent; argument
457 struct bpf_verifier_state *loop_entry; argument
489 struct bpf_verifier_state *___vstate = __vst; \ argument
513 struct bpf_verifier_state state;
730 struct bpf_verifier_state *cur_state; /* current verifier state */
843 struct bpf_verifier_state *cur = env->cur_state; in cur_func()
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,
/linux-6.15/kernel/bpf/
H A Dverifier.c181 struct bpf_verifier_state st;
1419 static int copy_reference_state(struct bpf_verifier_state *dst, const struct bpf_verifier_state *sr… in copy_reference_state()
1787 static bool same_callsites(struct bpf_verifier_state *a, struct bpf_verifier_state *b) in same_callsites()
1920 struct bpf_verifier_state *st) in get_loop_entry()
1937 struct bpf_verifier_state *cur, struct bpf_verifier_state *hdr) in update_loop_entry()
1958 struct bpf_verifier_state *parent; in update_branch_counts()
8728 struct bpf_verifier_state *st; in find_prev_entry()
14041 static struct bpf_verifier_state *
14046 struct bpf_verifier_state *branch; in sanitize_speculative_path()
18605 static bool refsafe(struct bpf_verifier_state *old, struct bpf_verifier_state *cur, in refsafe()
[all …]
H A Dlog.c757 void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, in print_verifier_state()
869 void print_insn_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, in print_insn_state()
/linux-6.15/Documentation/bpf/
H A Dverifier.rst383 struct bpf_verifier_state {
385 struct bpf_verifier_state *parent;