Lines Matching defs:state
251 static void bpf_map_key_store(struct bpf_insn_aux_data *aux, u64 state) in bpf_map_key_store()
610 static bool is_spi_bounds_valid(struct bpf_func_state *state, int spi, int nr_slots) in is_spi_bounds_valid()
734 struct bpf_func_state *state = func(env, reg); in mark_stack_slots_dynptr() local
792 static void invalidate_dynptr(struct bpf_verifier_env *env, struct bpf_func_state *state, int spi) in invalidate_dynptr()
831 struct bpf_func_state *state = func(env, reg); in unmark_stack_slots_dynptr() local
887 struct bpf_func_state *state, int spi) in destroy_if_dynptr_stack_slot()
972 struct bpf_func_state *state = func(env, reg); in is_dynptr_reg_valid_init() local
1002 struct bpf_func_state *state = func(env, reg); in is_dynptr_type_expected() local
1032 struct bpf_func_state *state = func(env, reg); in mark_stack_slots_iter() local
1074 struct bpf_func_state *state = func(env, reg); in unmark_stack_slots_iter() local
1105 struct bpf_func_state *state = func(env, reg); in is_iter_reg_valid_uninit() local
1132 struct bpf_func_state *state = func(env, reg); in is_iter_reg_valid_init() local
1169 struct bpf_func_state *state = func(env, reg); in mark_stack_slot_irq_flag() local
1201 struct bpf_func_state *state = func(env, reg); in unmark_stack_slot_irq_flag() local
1253 struct bpf_func_state *state = func(env, reg); in is_irq_flag_reg_valid_uninit() local
1277 struct bpf_func_state *state = func(env, reg); in is_irq_flag_reg_valid_init() local
1457 static int resize_reference_state(struct bpf_verifier_state *state, size_t n) in resize_reference_state()
1471 static int grow_stack_state(struct bpf_verifier_env *env, struct bpf_func_state *state, int size) in grow_stack_state()
1502 struct bpf_verifier_state *state = env->cur_state; in acquire_reference_state() local
1529 struct bpf_verifier_state *state = env->cur_state; in acquire_lock_state() local
1547 struct bpf_verifier_state *state = env->cur_state; in acquire_irq_state() local
1560 static void release_reference_state(struct bpf_verifier_state *state, int idx) in release_reference_state()
1579 static bool find_reference_state(struct bpf_verifier_state *state, int ptr_id) in find_reference_state()
1590 static int release_lock_state(struct bpf_verifier_state *state, int type, int id, void *ptr) in release_lock_state()
1614 static int release_irq_state(struct bpf_verifier_state *state, int id) in release_irq_state()
1636 static struct bpf_reference_state *find_lock_state(struct bpf_verifier_state *state, enum ref_state… in find_lock_state()
1661 static void free_func_state(struct bpf_func_state *state) in free_func_state()
1669 static void clear_jmp_history(struct bpf_verifier_state *state) in clear_jmp_history()
1676 static void free_verifier_state(struct bpf_verifier_state *state, in free_verifier_state()
1789 struct bpf_func_state *state = cur->frame[cur->curframe]; in explored_state() local
2869 struct bpf_func_state *state) in init_reg_state()
2894 struct bpf_func_state *state, in init_func_state()
3562 const struct bpf_reg_state *state, in mark_reg_read()
3611 struct bpf_func_state *state = func(env, reg); in mark_stack_slot_obj_read() local
3849 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg() local
5053 struct bpf_func_state *state, in save_register_state()
5083 struct bpf_func_state *state, int insn_idx, int off) in check_fastcall_stack_contract()
5111 struct bpf_func_state *state, in check_stack_write_fixed_off()
5256 struct bpf_func_state *state, in check_stack_write_var_off()
5378 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read() local
5419 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off() local
5608 struct bpf_func_state *state = func(env, reg); in check_stack_read() local
5665 struct bpf_func_state *state = func(env, reg); in check_stack_write() local
5747 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access() local
6081 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access() local
7438 struct bpf_func_state *state, in check_stack_slot_within_bounds()
7465 struct bpf_func_state *state = func(env, reg); in check_stack_access_within_bounds() local
8032 struct bpf_func_state *state = func(env, reg); in check_stack_range_initialized() local
8727 struct bpf_func_state *state = func(env, reg); in iter_ref_obj_id() local
9472 struct bpf_reg_state *state = NULL; in get_dynptr_arg_reg() local
9492 struct bpf_func_state *state = func(env, reg); in dynptr_id() local
9505 struct bpf_func_state *state = func(env, reg); in dynptr_ref_obj_id() local
9519 struct bpf_func_state *state = func(env, reg); in dynptr_get_type() local
9588 struct bpf_func_state *state = func(env, key); in get_constant_map_key() local
9708 struct bpf_func_state *state = func(env, reg); in check_func_arg() local
10299 struct bpf_func_state *state; in clear_all_pkt_pointers() local
10315 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end() local
10334 static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id) in release_reference_nomark()
10357 struct bpf_func_state *state; in release_reference() local
10407 struct bpf_verifier_state *state) in setup_func_entry()
10586 struct bpf_verifier_state *state = env->cur_state, *callback_state; in push_callback_call() local
10654 struct bpf_verifier_state *state = env->cur_state; in check_func_call() local
10940 struct bpf_verifier_state *state = env->cur_state; in in_rbtree_lock_required_cb() local
10968 struct bpf_verifier_state *state = env->cur_state, *prev_st; in prepare_func_exit() local
11180 struct bpf_verifier_state *state = env->cur_state; in check_reference_leak() local
11316 struct bpf_loop_inline_state *state = &cur_aux(env)->loop_inline_state; in update_loop_inline_state() local
11496 struct bpf_func_state *state; in check_helper_call() local
12597 struct bpf_verifier_state *state = env->cur_state; in ref_convert_owning_non_owning() local
13852 struct bpf_func_state *state; in check_kfunc_call() local
14456 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals() local
15409 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals() local
15791 struct bpf_func_state *state; in find_good_pkt_pointers() local
16341 static void mark_ptr_or_null_reg(struct bpf_func_state *state, in mark_ptr_or_null_reg()
16394 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs() local
19037 struct bpf_func_state *state, *parent; in propagate_liveness() local
19089 struct bpf_func_state *state; in propagate_precision() local
19265 struct bpf_func_state *state; in iter_active_depths_differ() local
19991 struct bpf_verifier_state *state = env->cur_state; in do_check() local
23145 struct bpf_verifier_state *state; in do_check_common() local
24301 struct insn_live_regs *state; in compute_live_registers() local