Lines Matching refs:bpf_verifier_state
172 struct bpf_verifier_state st;
659 struct bpf_verifier_state *cur = env->cur_state; in func()
1363 static void clear_jmp_history(struct bpf_verifier_state *state) in clear_jmp_history()
1370 static void free_verifier_state(struct bpf_verifier_state *state, in free_verifier_state()
1399 static int copy_verifier_state(struct bpf_verifier_state *dst_state, in copy_verifier_state()
1400 const struct bpf_verifier_state *src) in copy_verifier_state()
1441 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st) in update_branch_counts()
1461 struct bpf_verifier_state *cur = env->cur_state; in pop_stack()
1487 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env, in push_stack()
1491 struct bpf_verifier_state *cur = env->cur_state; in push_stack()
2018 static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env, in push_async_cb()
2728 struct bpf_verifier_state *vstate = env->cur_state; in check_reg_arg()
2784 struct bpf_verifier_state *cur) in push_jmp_history()
2808 static int get_prev_insn_idx(struct bpf_verifier_state *st, int i, in get_prev_insn_idx()
3039 struct bpf_verifier_state *st) in mark_all_scalars_precise()
3072 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st) in mark_all_scalars_imprecise()
3187 struct bpf_verifier_state *st = env->cur_state; in __mark_chain_precision()
3737 struct bpf_verifier_state *vstate = env->cur_state; in mark_reg_stack_read()
3788 struct bpf_verifier_state *vstate = env->cur_state; in check_stack_read_fixed_off()
4084 struct bpf_verifier_state *vstate = env->cur_state; in check_mem_region_access()
4305 struct bpf_verifier_state *vstate = env->cur_state; in check_map_access()
6035 struct bpf_verifier_state *cur = env->cur_state; in process_spin_lock()
7375 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open) in mark_pkt_end()
7460 struct bpf_verifier_state *state = env->cur_state; in __check_func_call()
7527 struct bpf_verifier_state *async_cb; in __check_func_call()
7826 struct bpf_verifier_state *state = env->cur_state; in in_rbtree_lock_required_cb()
7845 struct bpf_verifier_state *state = env->cur_state; in prepare_func_exit()
9105 struct bpf_verifier_state *state = env->cur_state; in ref_set_non_owning()
10227 static struct bpf_verifier_state *
10232 struct bpf_verifier_state *branch; in sanitize_speculative_path()
10257 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_ptr_alu()
10346 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_mark_insn_seen()
10472 struct bpf_verifier_state *vstate = env->cur_state; in adjust_ptr_min_max_vals()
11428 struct bpf_verifier_state *vstate = env->cur_state; in adjust_reg_min_max_vals()
11684 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, in find_good_pkt_pointers()
12267 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs()
12290 struct bpf_verifier_state *this_branch, in try_match_pkt_pointers()
12291 struct bpf_verifier_state *other_branch) in try_match_pkt_pointers()
12392 static void find_equal_scalars(struct bpf_verifier_state *vstate, in find_equal_scalars()
12407 struct bpf_verifier_state *this_branch = env->cur_state; in check_cond_jmp_op()
12408 struct bpf_verifier_state *other_branch; in check_cond_jmp_op()
13047 struct bpf_verifier_state *cur = env->cur_state; in explored_state()
13755 struct bpf_verifier_state *st) in clean_verifier_state()
13800 struct bpf_verifier_state *cur) in clean_live_states()
14065 struct bpf_verifier_state *old, in states_equal()
14066 struct bpf_verifier_state *cur) in states_equal()
14146 const struct bpf_verifier_state *vstate, in propagate_liveness()
14147 struct bpf_verifier_state *vparent) in propagate_liveness()
14193 const struct bpf_verifier_state *old) in propagate_precision()
14231 static bool states_maybe_looping(struct bpf_verifier_state *old, in states_maybe_looping()
14232 struct bpf_verifier_state *cur) in states_maybe_looping()
14254 struct bpf_verifier_state *cur = env->cur_state, *new; in is_state_visited()
14506 struct bpf_verifier_state *state = env->cur_state; in do_check()
17027 struct bpf_verifier_state *state; in do_check_common()
17034 state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL); in do_check_common()