1 files changed, 1 insertions, 0 deletions

diff --git a/kernel/timer.c b/kernel/timer.c
index c3c67f3c0190..cb1b86a9c52f 100644
--- a/kernel/timer.c
+++ b/kernel/timer.c
@@ -1174,6 +1174,7 @@ static void update_wall_time(void)
 
         /* check to see if there is a new clocksource to use */
         change_clocksource();
+        update_vsyscall(&xtime, clock);
 }
 
 /*