3247 				int min_off, int max_off, int dst_regno)  in mark_reg_stack_read()  argument
3267 		__mark_reg_const_zero(&state->regs[dst_regno]);  in mark_reg_stack_read()
3278 		state->regs[dst_regno].precise = true;  in mark_reg_stack_read()
3281 		mark_reg_unknown(env, state->regs, dst_regno);  in mark_reg_stack_read()
3283 	state->regs[dst_regno].live |= REG_LIVE_WRITTEN;  in mark_reg_stack_read()
3298 				      int off, int size, int dst_regno)  in check_stack_read_fixed_off()  argument
3323 			if (dst_regno < 0)  in check_stack_read_fixed_off()
3330 				s32 subreg_def = state->regs[dst_regno].subreg_def;  in check_stack_read_fixed_off()
3332 				state->regs[dst_regno] = *reg;  in check_stack_read_fixed_off()
3333 				state->regs[dst_regno].subreg_def = subreg_def;  in check_stack_read_fixed_off()
3345 				mark_reg_unknown(env, state->regs, dst_regno);  in check_stack_read_fixed_off()
3347 			state->regs[dst_regno].live |= REG_LIVE_WRITTEN;  in check_stack_read_fixed_off()
3351 		if (dst_regno >= 0) {  in check_stack_read_fixed_off()
3353 			state->regs[dst_regno] = *reg;  in check_stack_read_fixed_off()
3358 			state->regs[dst_regno].live |= REG_LIVE_WRITTEN;  in check_stack_read_fixed_off()
3383 		if (dst_regno >= 0)  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()
3419 				    int ptr_regno, int off, int size, int dst_regno)  in check_stack_read_var_off()  argument
3436 	mark_reg_stack_read(env, ptr_state, min_off, max_off + size, dst_regno);  in check_stack_read_var_off()
3451 			    int dst_regno)  in check_stack_read()  argument
3463 	if (dst_regno < 0 && var_off) {  in check_stack_read()
3487 						 dst_regno);  in check_stack_read()
3494 					       dst_regno);  in check_stack_read()