Lines Matching refs:bpf_func_state
596 static struct bpf_func_state *func(struct bpf_verifier_env *env, in func()
624 const struct bpf_func_state *state) in print_verifier_state()
803 static int copy_reference_state(struct bpf_func_state *dst, const struct bpf_func_state *src) in copy_reference_state()
814 static int copy_stack_state(struct bpf_func_state *dst, const struct bpf_func_state *src) in copy_stack_state()
827 static int resize_reference_state(struct bpf_func_state *state, size_t n) in resize_reference_state()
838 static int grow_stack_state(struct bpf_func_state *state, int size) in grow_stack_state()
860 struct bpf_func_state *state = cur_func(env); in acquire_reference_state()
875 static int release_reference_state(struct bpf_func_state *state, int ptr_id) in release_reference_state()
893 static void free_func_state(struct bpf_func_state *state) in free_func_state()
926 static int copy_func_state(struct bpf_func_state *dst, in copy_func_state()
927 const struct bpf_func_state *src) in copy_func_state()
931 memcpy(dst, src, offsetof(struct bpf_func_state, acquired_refs)); in copy_func_state()
941 struct bpf_func_state *dst; in copy_verifier_state()
1520 struct bpf_func_state *state) in init_reg_state()
1540 struct bpf_func_state *state, in init_func_state()
1555 struct bpf_func_state *frame; in push_async_cb()
2224 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg()
2508 struct bpf_func_state *func; in mark_all_scalars_precise()
2541 struct bpf_func_state *func; in __mark_chain_precision()
2777 static void save_register_state(struct bpf_func_state *state, in save_register_state()
2800 struct bpf_func_state *state, in check_stack_write_fixed_off()
2804 struct bpf_func_state *cur; /* state of the current function */ in check_stack_write_fixed_off()
2924 struct bpf_func_state *state, in check_stack_write_var_off()
2928 struct bpf_func_state *cur; /* state of the current function */ in check_stack_write_var_off()
3018 struct bpf_func_state *ptr_state, in mark_reg_stack_read()
3022 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read()
3069 struct bpf_func_state *reg_state, in check_stack_read_fixed_off()
3073 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off()
3195 struct bpf_func_state *ptr_state = func(env, reg); in check_stack_read_var_off()
3226 struct bpf_func_state *state = func(env, reg); in check_stack_read()
3287 struct bpf_func_state *state = func(env, reg); in check_stack_write()
3369 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access()
3427 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access()
3795 const struct bpf_func_state *func, in update_stack_depth()
4221 struct bpf_func_state *state, in check_stack_slot_within_bounds()
4248 struct bpf_func_state *state = func(env, reg); in check_stack_access_within_bounds()
4312 struct bpf_func_state *state; in check_mem_access()
4636 struct bpf_func_state *state = func(env, reg); in check_stack_range_initialized()
5809 struct bpf_func_state *state) in __clear_all_pkt_pointers()
5842 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end()
5862 struct bpf_func_state *state, in release_reg_references()
5913 struct bpf_func_state *caller,
5914 struct bpf_func_state *callee,
5923 struct bpf_func_state *caller, *callee; in __check_func_call()
6034 struct bpf_func_state *caller, in map_set_for_each_callback_args()
6035 struct bpf_func_state *callee) in map_set_for_each_callback_args()
6061 struct bpf_func_state *caller, in set_callee_state()
6062 struct bpf_func_state *callee, int insn_idx) in set_callee_state()
6091 struct bpf_func_state *caller, in set_map_elem_callback_state()
6092 struct bpf_func_state *callee, in set_map_elem_callback_state()
6120 struct bpf_func_state *caller, in set_timer_callback_state()
6121 struct bpf_func_state *callee, in set_timer_callback_state()
6151 struct bpf_func_state *caller, *callee; in prepare_func_exit()
6314 struct bpf_func_state *state = cur_func(env); in check_reference_leak()
7184 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals()
8148 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals()
8401 static void __find_good_pkt_pointers(struct bpf_func_state *state, in __find_good_pkt_pointers()
8958 static void mark_ptr_or_null_reg(struct bpf_func_state *state, in mark_ptr_or_null_reg()
9000 static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id, in __mark_ptr_or_null_regs()
9022 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs()
9147 struct bpf_func_state *state; in find_equal_scalars()
9563 struct bpf_func_state *frame = env->cur_state->frame[0]; in check_return_code()
9737 struct bpf_func_state *state = cur->frame[cur->curframe]; in explored_state()
10332 struct bpf_func_state *st) in clean_func_state()
10547 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, in stacksafe()
10548 struct bpf_func_state *cur, struct bpf_id_pair *idmap) in stacksafe()
10610 static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur) in refsafe()
10644 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old, in func_states_equal()
10645 struct bpf_func_state *cur) in func_states_equal()
10735 struct bpf_func_state *state, *parent; in propagate_liveness()
10781 struct bpf_func_state *state; in propagate_precision()
10817 struct bpf_func_state *fold, *fcur; in states_maybe_looping()
10871 struct bpf_func_state *frame = sl->state.frame[sl->state.curframe]; in is_state_visited()
11043 struct bpf_func_state *frame = cur->frame[j]; in is_state_visited()
11044 struct bpf_func_state *newframe = new->frame[j]; in is_state_visited()
13354 state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL); in do_check_common()