149 	unsigned version = src->version & ~1;  in pvclock_read_begin()  local
150 	/* Make sure that the version is read before the data. */  in pvclock_read_begin()
152 	return version;  in pvclock_read_begin()
157 			unsigned version)  in pvclock_read_retry()  argument
159 	/* Make sure that the version is re-read after the data. */  in pvclock_read_retry()
161 	return version != src->version;  in pvclock_read_retry()
185 	unsigned version;  in pvclock_clocksource_read()  local
191 		version = pvclock_read_begin(src);  in pvclock_clocksource_read()
194 	} while (pvclock_read_retry(src, version));  in pvclock_clocksource_read()
254 	u32 version;  in pvclock_read_wallclock()  local
260 		version = wall_clock->version;  in pvclock_read_wallclock()
261 		rmb();		/* fetch version before time */  in pvclock_read_wallclock()
264 		rmb();		/* fetch time before checking version */  in pvclock_read_wallclock()
265 	} while ((wall_clock->version & 1) || (version != wall_clock->version));  in pvclock_read_wallclock()