26 	u32 start_seq;  in do_realtime_coarse()  local
29 		start_seq = vdso_data_read_begin(data);  in do_realtime_coarse()
33 	} while (vdso_data_read_retry(data, start_seq));  in do_realtime_coarse()
41 	u32 start_seq;  in do_monotonic_coarse()  local
46 		start_seq = vdso_data_read_begin(data);  in do_monotonic_coarse()
53 	} while (vdso_data_read_retry(data, start_seq));  in do_monotonic_coarse()
127 	u32 start_seq;  in do_realtime()  local
131 		start_seq = vdso_data_read_begin(data);  in do_realtime()
138 	} while (vdso_data_read_retry(data, start_seq));  in do_realtime()
149 	u32 start_seq;  in do_monotonic()  local
155 		start_seq = vdso_data_read_begin(data);  in do_monotonic()
165 	} while (vdso_data_read_retry(data, start_seq));  in do_monotonic()