Lines Matching refs:reg_state
3069 struct bpf_func_state *reg_state, in check_stack_read_fixed_off() argument
3078 stype = reg_state->stack[spi].slot_type; in check_stack_read_fixed_off()
3079 reg = ®_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
3081 if (is_spilled_reg(®_state->stack[spi])) { in check_stack_read_fixed_off()
3156 mark_reg_stack_read(env, reg_state, off, off + size, dst_regno); in check_stack_read_fixed_off()
3172 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno) in reg_state() function
3194 struct bpf_reg_state *reg = reg_state(env, ptr_regno); in check_stack_read_var_off()
3225 struct bpf_reg_state *reg = reg_state(env, ptr_regno); in check_stack_read()
3286 struct bpf_reg_state *reg = reg_state(env, ptr_regno); in check_stack_write()
3650 return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno)); in is_pointer_value()
3655 const struct bpf_reg_state *reg = reg_state(env, regno); in is_ctx_reg()
3662 const struct bpf_reg_state *reg = reg_state(env, regno); in is_sk_reg()
3669 const struct bpf_reg_state *reg = reg_state(env, regno); in is_pkt_reg()
3676 const struct bpf_reg_state *reg = reg_state(env, regno); in is_flow_key_reg()
4579 reg_type_str[reg_state(env, insn->dst_reg)->type]); in check_atomic()
4635 struct bpf_reg_state *reg = reg_state(env, regno); in check_stack_range_initialized()
11292 reg_type_str[reg_state(env, insn->dst_reg)->type]); in do_check()