|
@@ -55,6 +55,7 @@ static void __init reset_tod_clock(void)
|
|
disabled_wait(0);
|
|
disabled_wait(0);
|
|
|
|
|
|
sched_clock_base_cc = TOD_UNIX_EPOCH;
|
|
sched_clock_base_cc = TOD_UNIX_EPOCH;
|
|
|
|
+ S390_lowcore.last_update_clock = sched_clock_base_cc;
|
|
}
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_SHARED_KERNEL
|
|
#ifdef CONFIG_SHARED_KERNEL
|
|
@@ -167,6 +168,14 @@ static noinline __init void create_kernel_nss(void)
|
|
return;
|
|
return;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ /* re-initialize cputime accounting. */
|
|
|
|
+ sched_clock_base_cc = get_clock();
|
|
|
|
+ S390_lowcore.last_update_clock = sched_clock_base_cc;
|
|
|
|
+ S390_lowcore.last_update_timer = 0x7fffffffffffffffULL;
|
|
|
|
+ S390_lowcore.user_timer = 0;
|
|
|
|
+ S390_lowcore.system_timer = 0;
|
|
|
|
+ asm volatile("SPT 0(%0)" : : "a" (&S390_lowcore.last_update_timer));
|
|
|
|
+
|
|
/* re-setup boot command line with new ipl vm parms */
|
|
/* re-setup boot command line with new ipl vm parms */
|
|
ipl_update_parameters();
|
|
ipl_update_parameters();
|
|
setup_boot_command_line();
|
|
setup_boot_command_line();
|