Searched refs:wall_clock (Results 1 – 5 of 5) sorted by relevance
123 void pvclock_read_wallclock(struct pvclock_wall_clock *wall_clock, in pvclock_read_wallclock() argument133 version = wall_clock->version; in pvclock_read_wallclock()142 now.tv_sec = wall_clock->sec; in pvclock_read_wallclock()143 now.tv_nsec = wall_clock->nsec; in pvclock_read_wallclock()145 } while ((wall_clock->version & 1) || (version != wall_clock->version)); in pvclock_read_wallclock()
83 struct pvclock_wall_clock *wall_clock = &(s->wc); in xen_read_wallclock() local87 version = wall_clock->version; in xen_read_wallclock()89 now.tv_sec = ((uint64_t)wall_clock->sec_hi << 32) | wall_clock->sec; in xen_read_wallclock()90 now.tv_nsec = wall_clock->nsec; in xen_read_wallclock()92 } while ((wall_clock->version & 1) || (version != wall_clock->version)); in xen_read_wallclock()
79 struct pvclock_wall_clock *wall_clock = &(s->wc); in xen_read_wallclock() local83 pvclock_read_wallclock(wall_clock, vcpu_time, ts); in xen_read_wallclock()
354 void read_persistent_wall_and_boot_offset(struct timespec64 *wall_clock,
1427 gpa_t wall_clock; member