Symbol: update_pvclock_gtod
arch/x86/kvm/x86.c
9966
update_pvclock_gtod(tk);
kernel/time/timekeeping.c
625
update_pvclock_gtod(tk, true);
kernel/time/timekeeping.c
734
update_pvclock_gtod(tk, action & TK_CLOCK_WAS_SET);