Searched refs:pvclock_read_wall_clock (Results 1 – 1 of 1) sorted by relevance
156 pvclock_read_wall_clock(struct pvclock_wall_clock *wc, uint32_t *sec, in pvclock_read_wall_clock() function200 pvclock_read_wall_clock(wc, &sec, &nsec); in pvclock_get_wallclock()