3297 				      struct bpf_func_state *reg_state,  in check_stack_read_fixed_off()  argument
3306 	stype = reg_state->stack[spi].slot_type;  in check_stack_read_fixed_off()
3307 	reg = &reg_state->stack[spi].spilled_ptr;  in check_stack_read_fixed_off()
3309 	if (is_spilled_reg(&reg_state->stack[spi])) {  in check_stack_read_fixed_off()
3384 			mark_reg_stack_read(env, reg_state, off, off + size, dst_regno);  in check_stack_read_fixed_off()
3400 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)  in reg_state()  function
3422 	struct bpf_reg_state *reg = reg_state(env, ptr_regno);  in check_stack_read_var_off()
3453 	struct bpf_reg_state *reg = reg_state(env, ptr_regno);  in check_stack_read()
3514 	struct bpf_reg_state *reg = reg_state(env, ptr_regno);  in check_stack_write()
3786 		val_reg = reg_state(env, value_regno);  in check_map_kptr_access()
3795 		val_reg = reg_state(env, value_regno);  in check_map_kptr_access()
4066 	return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno));  in is_pointer_value()
4071 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_ctx_reg()
4078 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_sk_reg()
4085 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_pkt_reg()
4092 	const struct bpf_reg_state *reg = reg_state(env, regno);  in is_flow_key_reg()
5022 			reg_type_str(env, reg_state(env, insn->dst_reg)->type));  in check_atomic()
5078 	struct bpf_reg_state *reg = reg_state(env, regno);  in check_stack_range_initialized()
12358 					reg_type_str(env, reg_state(env, insn->dst_reg)->type));  in do_check()