33 	u64 nsec, sec;  in update_vdso_time_data()  local
40 	vdso_ts->sec	= tk->xtime_sec + tk->wall_to_monotonic.tv_sec;  in update_vdso_time_data()
46 		vdso_ts->sec++;  in update_vdso_time_data()
51 	sec	= vdso_ts->sec;  in update_vdso_time_data()
53 	sec	+= tk->monotonic_to_boot.tv_sec;  in update_vdso_time_data()
58 	vdso_ts->sec	= sec;  in update_vdso_time_data()
62 		vdso_ts->sec++;  in update_vdso_time_data()
68 	vdso_ts->sec	= tk->raw_sec;  in update_vdso_time_data()
73 	vdso_ts->sec	= tk->xtime_sec + (s64)tk->tai_offset;  in update_vdso_time_data()
94 	vdso_ts->sec	= tk->xtime_sec;  in update_vsyscall()
99 	vdso_ts->sec	= tk->xtime_sec;  in update_vsyscall()
104 	vdso_ts->sec	= tk->xtime_sec + tk->wall_to_monotonic.tv_sec;  in update_vsyscall()
107 	vdso_ts->sec	+= __iter_div_u64_rem(nsec, NSEC_PER_SEC, &vdso_ts->nsec);  in update_vsyscall()
162 		vdso_ts->sec = tk->xtime_sec + tk->monotonic_to_aux.tv_sec;  in vdso_time_update_aux()
166 		vdso_ts->sec += __iter_div_u64_rem(nsec, NSEC_PER_SEC, &nsec);  in vdso_time_update_aux()