18 #include <linux/kernel.h>
74 u64 pv_tsc_khz = 1000000ULL << 32;
99 version = pvclock_get_time_values(&shadow, src);
101 offset = pvclock_get_nsec_offset(&shadow);
104 }
while (version != src->
version);
107 (shadow.
flags & PVCLOCK_TSC_STABLE_BIT))
149 }
while ((wall_clock->
version & 1) || (version != wall_clock->
version));