--- arch/s390/kernel/vtime.c

+++ arch/s390/kernel/vtime.c

@@ -167,6 +167,8 @@ void vtime_stop_cpu(void)

/* Wait for external, I/O or machine check interrupt. */

psw.mask = psw_kernel_bits | PSW_MASK_WAIT | PSW_MASK_IO | PSW_MASK_EXT;

+ idle->nohz_delay = 0;

+

/* Check if the CPU timer needs to be reprogrammed. */

if (vq->do_spt) {

__u64 vmax = VTIMER_MAX_SLICE;