Lines Matching refs:reg_state

3785 				      struct bpf_func_state *reg_state,  in check_stack_read_fixed_off()  argument
3794 stype = reg_state->stack[spi].slot_type; in check_stack_read_fixed_off()
3795 reg = &reg_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
3797 if (is_spilled_reg(&reg_state->stack[spi])) { in check_stack_read_fixed_off()
3872 mark_reg_stack_read(env, reg_state, off, off + size, dst_regno); in check_stack_read_fixed_off()
3888 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno) in reg_state() function
3910 struct bpf_reg_state *reg = reg_state(env, ptr_regno); in check_stack_read_var_off()
3941 struct bpf_reg_state *reg = reg_state(env, ptr_regno); in check_stack_read()
4002 struct bpf_reg_state *reg = reg_state(env, ptr_regno); in check_stack_write()
4274 val_reg = reg_state(env, value_regno); in check_map_kptr_access()
4283 val_reg = reg_state(env, value_regno); in check_map_kptr_access()
4543 return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno)); in is_pointer_value()
4548 const struct bpf_reg_state *reg = reg_state(env, regno); in is_ctx_reg()
4555 const struct bpf_reg_state *reg = reg_state(env, regno); in is_sk_reg()
4562 const struct bpf_reg_state *reg = reg_state(env, regno); in is_pkt_reg()
4569 const struct bpf_reg_state *reg = reg_state(env, regno); in is_flow_key_reg()
5600 reg_type_str(env, reg_state(env, insn->dst_reg)->type)); in check_atomic()
5656 struct bpf_reg_state *reg = reg_state(env, regno); in check_stack_range_initialized()
14714 reg_type_str(env, reg_state(env, insn->dst_reg)->type)); in do_check()