5261 				int min_off, int max_off, int dst_regno)  in mark_reg_stack_read()  argument
5282 		__mark_reg_const_zero(env, &state->regs[dst_regno]);  in mark_reg_stack_read()
5285 		mark_reg_unknown(env, state->regs, dst_regno);  in mark_reg_stack_read()
5287 	state->regs[dst_regno].live |= REG_LIVE_WRITTEN;  in mark_reg_stack_read()
5302 				      int off, int size, int dst_regno)  in check_stack_read_fixed_off()  argument
5331 			if (dst_regno < 0)  in check_stack_read_fixed_off()
5339 				s32 subreg_def = state->regs[dst_regno].subreg_def;  in check_stack_read_fixed_off()
5341 				copy_register_state(&state->regs[dst_regno], reg);  in check_stack_read_fixed_off()
5342 				state->regs[dst_regno].subreg_def = subreg_def;  in check_stack_read_fixed_off()
5348 					state->regs[dst_regno].id = 0;  in check_stack_read_fixed_off()
5373 					__mark_reg_const_zero(env, &state->regs[dst_regno]);  in check_stack_read_fixed_off()
5377 					__mark_reg_const_zero(env, &state->regs[dst_regno]);  in check_stack_read_fixed_off()
5380 					mark_reg_unknown(env, state->regs, dst_regno);  in check_stack_read_fixed_off()
5384 			state->regs[dst_regno].live |= REG_LIVE_WRITTEN;  in check_stack_read_fixed_off()
5385 		} else if (dst_regno >= 0) {  in check_stack_read_fixed_off()
5387 			copy_register_state(&state->regs[dst_regno], reg);  in check_stack_read_fixed_off()
5392 			state->regs[dst_regno].live |= REG_LIVE_WRITTEN;  in check_stack_read_fixed_off()
5419 		if (dst_regno >= 0)  in check_stack_read_fixed_off()
5420 			mark_reg_stack_read(env, reg_state, off, off + size, dst_regno);  in check_stack_read_fixed_off()
5458 				    int ptr_regno, int off, int size, int dst_regno)  in check_stack_read_var_off()  argument
5475 	mark_reg_stack_read(env, ptr_state, min_off, max_off + size, dst_regno);  in check_stack_read_var_off()
5491 			    int dst_regno)  in check_stack_read()  argument
5503 	if (dst_regno < 0 && var_off) {  in check_stack_read()
5523 						 dst_regno);  in check_stack_read()
5530 					       dst_regno);  in check_stack_read()