update_pvclock_gtod 7224 arch/x86/kvm/x86.c 	update_pvclock_gtod(tk);
update_pvclock_gtod  592 kernel/time/timekeeping.c 	update_pvclock_gtod(tk, true);
update_pvclock_gtod  672 kernel/time/timekeeping.c 	update_pvclock_gtod(tk, action & TK_CLOCK_WAS_SET);