Lines Matching refs:bpf_func_state
656 static struct bpf_func_state *func(struct bpf_verifier_env *env, in func()
664 static bool is_spi_bounds_valid(struct bpf_func_state *state, int spi, int nr_slots) in is_spi_bounds_valid()
790 struct bpf_func_state *state, int spi);
795 struct bpf_func_state *state = func(env, reg); in mark_stack_slots_dynptr()
849 struct bpf_func_state *state = func(env, reg); in unmark_stack_slots_dynptr()
899 struct bpf_func_state *state, int spi) in destroy_if_dynptr_stack_slot()
901 struct bpf_func_state *fstate; in destroy_if_dynptr_stack_slot()
984 struct bpf_func_state *state = func(env, reg); in is_dynptr_reg_valid_init()
1008 struct bpf_func_state *state = func(env, reg); in is_dynptr_type_expected()
1042 const struct bpf_func_state *state, in print_verifier_state()
1189 const struct bpf_func_state *state) in print_insn_state()
1260 static int copy_reference_state(struct bpf_func_state *dst, const struct bpf_func_state *src) in copy_reference_state()
1271 static int copy_stack_state(struct bpf_func_state *dst, const struct bpf_func_state *src) in copy_stack_state()
1284 static int resize_reference_state(struct bpf_func_state *state, size_t n) in resize_reference_state()
1295 static int grow_stack_state(struct bpf_func_state *state, int size) in grow_stack_state()
1317 struct bpf_func_state *state = cur_func(env); in acquire_reference_state()
1333 static int release_reference_state(struct bpf_func_state *state, int ptr_id) in release_reference_state()
1354 static void free_func_state(struct bpf_func_state *state) in free_func_state()
1387 static int copy_func_state(struct bpf_func_state *dst, in copy_func_state()
1388 const struct bpf_func_state *src) in copy_func_state()
1392 memcpy(dst, src, offsetof(struct bpf_func_state, acquired_refs)); in copy_func_state()
1402 struct bpf_func_state *dst; in copy_verifier_state()
1986 struct bpf_func_state *state) in init_reg_state()
2006 struct bpf_func_state *state, in init_func_state()
2023 struct bpf_func_state *frame; in push_async_cb()
2566 struct bpf_func_state *state = func(env, reg); in mark_dynptr_read()
2729 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg()
3041 struct bpf_func_state *func; in mark_all_scalars_precise()
3074 struct bpf_func_state *func; in mark_all_scalars_imprecise()
3190 struct bpf_func_state *func; in __mark_chain_precision()
3458 static void save_register_state(struct bpf_func_state *state, in save_register_state()
3486 struct bpf_func_state *state, in check_stack_write_fixed_off()
3490 struct bpf_func_state *cur; /* state of the current function */ in check_stack_write_fixed_off()
3626 struct bpf_func_state *state, in check_stack_write_var_off()
3630 struct bpf_func_state *cur; /* state of the current function */ in check_stack_write_var_off()
3734 struct bpf_func_state *ptr_state, in mark_reg_stack_read()
3738 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read()
3785 struct bpf_func_state *reg_state, in check_stack_read_fixed_off()
3789 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off()
3911 struct bpf_func_state *ptr_state = func(env, reg); in check_stack_read_var_off()
3942 struct bpf_func_state *state = func(env, reg); in check_stack_read()
4003 struct bpf_func_state *state = func(env, reg); in check_stack_write()
4085 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access()
4306 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access()
4712 const struct bpf_func_state *func, in update_stack_depth()
5214 struct bpf_func_state *state, in check_stack_slot_within_bounds()
5241 struct bpf_func_state *state = func(env, reg); in check_stack_access_within_bounds()
5305 struct bpf_func_state *state; in check_mem_access()
5657 struct bpf_func_state *state = func(env, reg); in check_stack_range_initialized()
6671 struct bpf_func_state *state = func(env, reg); in dynptr_id()
6684 struct bpf_func_state *state = func(env, reg); in dynptr_ref_obj_id()
6756 struct bpf_func_state *state = func(env, reg); in check_func_arg()
7361 struct bpf_func_state *state; in clear_all_pkt_pointers()
7377 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end()
7402 struct bpf_func_state *state; in release_reference()
7424 struct bpf_func_state *unused; in invalidate_non_owning_refs()
7446 struct bpf_func_state *caller,
7447 struct bpf_func_state *callee,
7451 struct bpf_func_state *caller,
7452 struct bpf_func_state *callee, int insn_idx);
7462 struct bpf_func_state *caller, *callee; in __check_func_call()
7597 struct bpf_func_state *caller, in map_set_for_each_callback_args()
7598 struct bpf_func_state *callee) in map_set_for_each_callback_args()
7624 struct bpf_func_state *caller, in set_callee_state()
7625 struct bpf_func_state *callee, int insn_idx) in set_callee_state()
7654 struct bpf_func_state *caller, in set_map_elem_callback_state()
7655 struct bpf_func_state *callee, in set_map_elem_callback_state()
7684 struct bpf_func_state *caller, in set_loop_callback_state()
7685 struct bpf_func_state *callee, in set_loop_callback_state()
7706 struct bpf_func_state *caller, in set_timer_callback_state()
7707 struct bpf_func_state *callee, in set_timer_callback_state()
7736 struct bpf_func_state *caller, in set_find_vma_callback_state()
7737 struct bpf_func_state *callee, in set_find_vma_callback_state()
7764 struct bpf_func_state *caller, in set_user_ringbuf_callback_state()
7765 struct bpf_func_state *callee, in set_user_ringbuf_callback_state()
7787 struct bpf_func_state *caller, in set_rbtree_add_callback_state()
7788 struct bpf_func_state *callee, in set_rbtree_add_callback_state()
7828 struct bpf_func_state *callee; in in_rbtree_lock_required_cb()
7846 struct bpf_func_state *caller, *callee; in prepare_func_exit()
8012 struct bpf_func_state *state = cur_func(env); in check_reference_leak()
9123 struct bpf_func_state *state, *unused; in ref_convert_owning_non_owning()
9837 struct bpf_func_state *state; in check_kfunc_call()
10473 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals()
11429 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals()
11689 struct bpf_func_state *state; in find_good_pkt_pointers()
12217 static void mark_ptr_or_null_reg(struct bpf_func_state *state, in mark_ptr_or_null_reg()
12270 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs()
12395 struct bpf_func_state *state; in find_equal_scalars()
12844 struct bpf_func_state *frame = env->cur_state->frame[0]; in check_return_code()
13048 struct bpf_func_state *state = cur->frame[cur->curframe]; in explored_state()
13726 struct bpf_func_state *st) in clean_func_state()
13918 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, in stacksafe()
13919 struct bpf_func_state *cur, struct bpf_id_pair *idmap) in stacksafe()
14003 static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur, in refsafe()
14045 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old, in func_states_equal()
14046 struct bpf_func_state *cur) in func_states_equal()
14150 struct bpf_func_state *state, *parent; in propagate_liveness()
14196 struct bpf_func_state *state; in propagate_precision()
14234 struct bpf_func_state *fold, *fcur; in states_maybe_looping()
14281 struct bpf_func_state *frame = sl->state.frame[sl->state.curframe]; in is_state_visited()
14457 struct bpf_func_state *frame = cur->frame[j]; in is_state_visited()
14458 struct bpf_func_state *newframe = new->frame[j]; in is_state_visited()
17040 state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL); in do_check_common()