2013 			    struct bpf_func_state *reg_state /* func where register points to */,  in check_stack_read()  argument
2022 	if (reg_state->allocated_stack <= slot) {  in check_stack_read()
2027 	stype = reg_state->stack[spi].slot_type;  in check_stack_read()
2028 	reg = &reg_state->stack[spi].spilled_ptr;  in check_stack_read()
2428 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)  in reg_state()  function
2435 	return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno));  in is_pointer_value()
2440 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_ctx_reg()
2447 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_sk_reg()
2454 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_pkt_reg()
2461 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_flow_key_reg()
2918 			reg_type_str[reg_state(env, insn->dst_reg)->type]);  in check_xadd()
2937 	struct bpf_reg_state *reg = reg_state(env, regno);  in __check_stack_boundary()
2966 	struct bpf_reg_state *reg = reg_state(env, regno);  in check_stack_boundary()
7678 					reg_type_str[reg_state(env, insn->dst_reg)->type]);  in do_check()