bpf_verifier_state (reference) in projects: linux

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

/linux/kernel/bpf/
H A D	states.c	34 static struct bpf_verifier_state_list state_parent_as_list(struct bpf_verifier_state st) in state_parent_as_list() 42 struct bpf_verifier_state st); 75 struct bpf_verifier_state st, in compute_scc_callchain() 160 static int maybe_enter_scc(struct bpf_verifier_env env, struct bpf_verifier_state st) in maybe_enter_scc() 185 static int maybe_exit_scc(struct bpf_verifier_env env, struct bpf_verifier_state st) in maybe_exit_scc() 228 struct bpf_verifier_state st, in add_scc_backedge() 260 struct bpf_verifier_state st) in incomplete_read_marks() 273 int bpf_update_branch_counts(struct bpf_verifier_env env, struct bpf_verifier_state st) in bpf_update_branch_counts() 276 struct bpf_verifier_state parent; in bpf_update_branch_counts() 475 struct bpf_verifier_state st) in clean_verifier_state() [all …]
H A D	backtrack.c	11 int bpf_push_jmp_history(struct bpf_verifier_env env, struct bpf_verifier_state cur, in bpf_push_jmp_history() 84 static int get_prev_insn_idx(struct bpf_verifier_state st, int i, in get_prev_insn_idx() 105 static struct bpf_jmp_history_entry get_jmp_hist_entry(struct bpf_verifier_state st, in get_jmp_hist_entry() 656 struct bpf_verifier_state st) in bpf_mark_all_scalars_precise() 790 struct bpf_verifier_state starting_state, in bpf_mark_chain_precision() 794 struct bpf_verifier_state st = starting_state; in bpf_mark_chain_precision()
H A D	diagnostics.h	`16 struct bpf_verifier_state; 56 u32 bpf_diag_irq_depth(const struct bpf_verifier_state *state);`
H A D	verifier.c	191 struct bpf_verifier_state st; 208 static int __release_reference_nomark(struct bpf_verifier_state state, int id); 1318 static int copy_reference_state(struct bpf_verifier_state dst, const struct bpf_verifier_state sr… in copy_reference_state() 1360 static int resize_reference_state(struct bpf_verifier_state state, size_t n) in resize_reference_state() 1422 struct bpf_verifier_state state = env->cur_state; in acquire_reference_state() 1451 struct bpf_verifier_state state = env->cur_state; in acquire_lock_state() 1471 struct bpf_verifier_state state = env->cur_state; in acquire_irq_state() 1486 static void release_reference_state(struct bpf_verifier_state state, int idx) in release_reference_state() 1505 static bool find_reference_state(struct bpf_verifier_state state, int id) in find_reference_state() 1526 struct bpf_verifier_state state = env->cur_state; in release_lock_state() [all …]
H A D	log.c	`700 void print_verifier_state(struct bpf_verifier_env env, const struct bpf_verifier_state vstate, in print_verifier_state() 803 void print_insn_state(struct bpf_verifier_env env, const struct bpf_verifier_state vstate, in print_insn_state()`
H A D	diagnostics.c	`431 u32 bpf_diag_irq_depth(const struct bpf_verifier_state state) in bpf_diag_irq_depth() 1551 struct bpf_verifier_state vstate = env->cur_state; in target_to_reg() 1582 struct bpf_verifier_state *vstate = env->cur_state; in reg_to_target()`
H A D	liveness.c	`102 struct bpf_verifier_state st, in lookup_instance() 338 int bpf_live_stack_query_init(struct bpf_verifier_env env, struct bpf_verifier_state *st) in bpf_live_stack_query_init()`
/linux/include/linux/
H A D	bpf_verifier.h	447 struct bpf_verifier_state { struct 450 struct bpf_verifier_state parent; argument 519 struct bpf_verifier_state equal_state; argument 564 struct bpf_verifier_state ___vstate = __vst; \ 602 struct bpf_verifier_state state; 882 struct bpf_verifier_state state; 890 struct bpf_verifier_state entry_state; 927 struct bpf_verifier_state cur_state; / current verifier state / 1147 struct bpf_verifier_state cur = env->cur_state; in cur_func() 1201 int bpf_update_branch_counts(struct bpf_verifier_env env, struct bpf_verifier_state st); [all …]