67 	u32 start_seq;  in do_realtime_coarse()  local
70 		start_seq = vdso_data_read_begin(data);  in do_realtime_coarse()
74 	} while (vdso_data_read_retry(data, start_seq));  in do_realtime_coarse()
82 	u32 start_seq;  in do_monotonic_coarse()  local
87 		start_seq = vdso_data_read_begin(data);  in do_monotonic_coarse()
94 	} while (vdso_data_read_retry(data, start_seq));  in do_monotonic_coarse()
145 	u32 start_seq;  in do_realtime()  local
149 		start_seq = vdso_data_read_begin(data);  in do_realtime()
156 	} while (vdso_data_read_retry(data, start_seq));  in do_realtime()
167 	u32 start_seq;  in do_monotonic()  local
173 		start_seq = vdso_data_read_begin(data);  in do_monotonic()
183 	} while (vdso_data_read_retry(data, start_seq));  in do_monotonic()