2401 			    struct bpf_func_state *reg_state /* func where register points to */,  in check_stack_read()  argument
2410 	if (reg_state->allocated_stack <= slot) {  in check_stack_read()
2415 	stype = reg_state->stack[spi].slot_type;  in check_stack_read()
2416 	reg = &reg_state->stack[spi].spilled_ptr;  in check_stack_read()
2852 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)  in reg_state()  function
2859 	return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno));  in is_pointer_value()
2864 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_ctx_reg()
2871 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_sk_reg()
2878 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_pkt_reg()
2885 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_flow_key_reg()
3628 			reg_type_str[reg_state(env, insn->dst_reg)->type]);  in check_xadd()
3647 	struct bpf_reg_state *reg = reg_state(env, regno);  in __check_stack_boundary()
3676 	struct bpf_reg_state *reg = reg_state(env, regno);  in check_stack_boundary()
9451 					reg_type_str[reg_state(env, insn->dst_reg)->type]);  in do_check()