Searched refs:pvclock_read_wallclock (Results 1 – 3 of 3) sorted by relevance
15 void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
123 void pvclock_read_wallclock(struct pvclock_wall_clock *wall_clock, in pvclock_read_wallclock() function
83 pvclock_read_wallclock(wall_clock, vcpu_time, ts); in xen_read_wallclock()