Lines Matching refs:bpf_func_state
602 static struct bpf_func_state *func(struct bpf_verifier_env *env, in func()
616 const struct bpf_func_state *state) in print_verifier_state()
795 static int copy_reference_state(struct bpf_func_state *dst, const struct bpf_func_state *src) in copy_reference_state()
806 static int copy_stack_state(struct bpf_func_state *dst, const struct bpf_func_state *src) in copy_stack_state()
819 static int resize_reference_state(struct bpf_func_state *state, size_t n) in resize_reference_state()
830 static int grow_stack_state(struct bpf_func_state *state, int size) in grow_stack_state()
852 struct bpf_func_state *state = cur_func(env); in acquire_reference_state()
867 static int release_reference_state(struct bpf_func_state *state, int ptr_id) in release_reference_state()
885 static void free_func_state(struct bpf_func_state *state) in free_func_state()
918 static int copy_func_state(struct bpf_func_state *dst, in copy_func_state()
919 const struct bpf_func_state *src) in copy_func_state()
923 memcpy(dst, src, offsetof(struct bpf_func_state, acquired_refs)); in copy_func_state()
933 struct bpf_func_state *dst; in copy_verifier_state()
1505 struct bpf_func_state *state) in init_reg_state()
1525 struct bpf_func_state *state, in init_func_state()
1540 struct bpf_func_state *frame; in push_async_cb()
2076 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg()
2359 struct bpf_func_state *func; in mark_all_scalars_precise()
2392 struct bpf_func_state *func; in __mark_chain_precision()
2628 static void save_register_state(struct bpf_func_state *state, in save_register_state()
2645 struct bpf_func_state *state, in check_stack_write_fixed_off()
2649 struct bpf_func_state *cur; /* state of the current function */ in check_stack_write_fixed_off()
2769 struct bpf_func_state *state, in check_stack_write_var_off()
2773 struct bpf_func_state *cur; /* state of the current function */ in check_stack_write_var_off()
2863 struct bpf_func_state *ptr_state, in mark_reg_stack_read()
2867 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read()
2914 struct bpf_func_state *reg_state, in check_stack_read_fixed_off()
2918 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off()
3021 struct bpf_func_state *ptr_state = func(env, reg); in check_stack_read_var_off()
3052 struct bpf_func_state *state = func(env, reg); in check_stack_read()
3113 struct bpf_func_state *state = func(env, reg); in check_stack_write()
3195 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access()
3253 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access()
3621 const struct bpf_func_state *func, in update_stack_depth()
4032 struct bpf_func_state *state, in check_stack_slot_within_bounds()
4059 struct bpf_func_state *state = func(env, reg); in check_stack_access_within_bounds()
4123 struct bpf_func_state *state; in check_mem_access()
4434 struct bpf_func_state *state = func(env, reg); in check_stack_range_initialized()
5594 struct bpf_func_state *state) in __clear_all_pkt_pointers()
5627 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end()
5647 struct bpf_func_state *state, in release_reg_references()
5698 struct bpf_func_state *caller,
5699 struct bpf_func_state *callee,
5708 struct bpf_func_state *caller, *callee; in __check_func_call()
5819 struct bpf_func_state *caller, in map_set_for_each_callback_args()
5820 struct bpf_func_state *callee) in map_set_for_each_callback_args()
5846 struct bpf_func_state *caller, in set_callee_state()
5847 struct bpf_func_state *callee, int insn_idx) in set_callee_state()
5876 struct bpf_func_state *caller, in set_map_elem_callback_state()
5877 struct bpf_func_state *callee, in set_map_elem_callback_state()
5905 struct bpf_func_state *caller, in set_timer_callback_state()
5906 struct bpf_func_state *callee, in set_timer_callback_state()
5936 struct bpf_func_state *caller, *callee; in prepare_func_exit()
6099 struct bpf_func_state *state = cur_func(env); in check_reference_leak()
6959 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals()
7923 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals()
8172 static void __find_good_pkt_pointers(struct bpf_func_state *state, in __find_good_pkt_pointers()
8729 static void mark_ptr_or_null_reg(struct bpf_func_state *state, in mark_ptr_or_null_reg()
8771 static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id, in __mark_ptr_or_null_regs()
8793 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs()
8918 struct bpf_func_state *state; in find_equal_scalars()
9333 struct bpf_func_state *frame = env->cur_state->frame[0]; in check_return_code()
9507 struct bpf_func_state *state = cur->frame[cur->curframe]; in explored_state()
10102 struct bpf_func_state *st) in clean_func_state()
10317 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, in stacksafe()
10318 struct bpf_func_state *cur, struct bpf_id_pair *idmap) in stacksafe()
10380 static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur) in refsafe()
10414 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old, in func_states_equal()
10415 struct bpf_func_state *cur) in func_states_equal()
10505 struct bpf_func_state *state, *parent; in propagate_liveness()
10551 struct bpf_func_state *state; in propagate_precision()
10587 struct bpf_func_state *fold, *fcur; in states_maybe_looping()
10641 struct bpf_func_state *frame = sl->state.frame[sl->state.curframe]; in is_state_visited()
10813 struct bpf_func_state *frame = cur->frame[j]; in is_state_visited()
10814 struct bpf_func_state *newframe = new->frame[j]; in is_state_visited()
13107 state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL); in do_check_common()