22 	u64 nsec, sec;  in update_vdso_data()  local
35 	vdso_ts->sec	= tk->xtime_sec + tk->wall_to_monotonic.tv_sec;  in update_vdso_data()
41 		vdso_ts->sec++;  in update_vdso_data()
46 	sec	= vdso_ts->sec;  in update_vdso_data()
48 	sec	+= tk->monotonic_to_boot.tv_sec;  in update_vdso_data()
53 	vdso_ts->sec	= sec;  in update_vdso_data()
57 		vdso_ts->sec++;  in update_vdso_data()
63 	vdso_ts->sec	= tk->raw_sec;  in update_vdso_data()
68 	vdso_ts->sec	= tk->xtime_sec + (s64)tk->tai_offset;  in update_vdso_data()
88 	vdso_ts->sec	= tk->xtime_sec;  in update_vsyscall()
93 	vdso_ts->sec	= tk->xtime_sec;  in update_vsyscall()
98 	vdso_ts->sec	= tk->xtime_sec + tk->wall_to_monotonic.tv_sec;  in update_vsyscall()
101 	vdso_ts->sec	+= __iter_div_u64_rem(nsec, NSEC_PER_SEC, &vdso_ts->nsec);  in update_vsyscall()