Home
last modified time | relevance | path

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

/linux/include/linux/
H A Dbpf_verifier.h415 struct bpf_verifier_state { struct
418 struct bpf_verifier_state *parent; argument
487 struct bpf_verifier_state *equal_state; argument
513 struct bpf_verifier_state *___vstate = __vst; \ argument
537 struct bpf_verifier_state state;
788 struct bpf_verifier_state state;
796 struct bpf_verifier_state *entry_state;
825 struct bpf_verifier_state *cur_state; /* current verifier state */
1027 struct bpf_verifier_state *cur = env->cur_state; in cur_func()
1081 int bpf_update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st);
[all …]
/linux/kernel/bpf/
H A Dverifier.c187 struct bpf_verifier_state st;
203 static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id);
1067 static int release_irq_state(struct bpf_verifier_state *state, int id);
1315 static int copy_reference_state(struct bpf_verifier_state *dst, const struct bpf_verifier_state *sr… in copy_reference_state()
1345 static int resize_reference_state(struct bpf_verifier_state *state, size_t n) in resize_reference_state()
1390 struct bpf_verifier_state *state = env->cur_state; in acquire_reference_state()
1417 struct bpf_verifier_state *state = env->cur_state; in acquire_lock_state()
1435 struct bpf_verifier_state *state = env->cur_state; in acquire_irq_state()
1448 static void release_reference_state(struct bpf_verifier_state *state, int idx) in release_reference_state()
1467 static bool find_reference_state(struct bpf_verifier_state *state, int ptr_id) in find_reference_state()
[all …]
H A Dliveness.c102 struct bpf_verifier_state *st, in lookup_instance()
339 int bpf_live_stack_query_init(struct bpf_verifier_env *env, struct bpf_verifier_state *st) in bpf_live_stack_query_init()