Searched refs:pvclock_read_wallclock (Results 1 – 1 of 1) sorted by relevance
250 static void pvclock_read_wallclock(struct pvclock_wall_clock *wall_clock, in pvclock_read_wallclock() function283 pvclock_read_wallclock(&wall_clock, vcpu_time, ts); in kvm_get_wallclock()