20 	u64 nsec, sec;  in update_vdso_data()  local
33 	vdso_ts->sec	= tk->xtime_sec;  in update_vdso_data()
38 	vdso_ts->sec	= tk->xtime_sec + tk->wall_to_monotonic.tv_sec;  in update_vdso_data()
44 		vdso_ts->sec++;  in update_vdso_data()
49 	sec	= vdso_ts->sec;  in update_vdso_data()
51 	sec	+= tk->monotonic_to_boot.tv_sec;  in update_vdso_data()
56 	vdso_ts->sec	= sec;  in update_vdso_data()
60 		vdso_ts->sec++;  in update_vdso_data()
66 	vdso_ts->sec	= tk->raw_sec;  in update_vdso_data()
71 	vdso_ts->sec	= tk->xtime_sec + (s64)tk->tai_offset;  in update_vdso_data()
103 	vdso_ts->sec	= tk->xtime_sec;  in update_vsyscall()
108 	vdso_ts->sec	= tk->xtime_sec + tk->wall_to_monotonic.tv_sec;  in update_vsyscall()
111 	vdso_ts->sec	+= __iter_div_u64_rem(nsec, NSEC_PER_SEC, &vdso_ts->nsec);  in update_vsyscall()