[PATCH] generic: vsyscall-gtod support for GENERIC_TIME
[pandora-kernel.git] / kernel / timer.c
index c3c67f3..cb1b86a 100644 (file)
@@ -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);
 }
 
 /*