diff --git a/kernel/sys.c b/kernel/sys.c
index 6af9212..b2cb197 100644
--- a/kernel/sys.c
+++ b/kernel/sys.c
@@ -886,10 +886,10 @@ void do_sys_times(struct tms *tms)
 	thread_group_cputime_adjusted(current, &tgutime, &tgstime);
 	cutime = current->signal->cutime;
 	cstime = current->signal->cstime;
-	tms->tms_utime = cputime_to_clock_t(tgutime);
-	tms->tms_stime = cputime_to_clock_t(tgstime);
-	tms->tms_cutime = cputime_to_clock_t(cutime);
-	tms->tms_cstime = cputime_to_clock_t(cstime);
+	tms->tms_utime = (__force clock_t)(tgutime);
+	tms->tms_stime = (__force clock_t)(tgstime);
+	tms->tms_cutime = (__force clock_t)(cutime);
+	tms->tms_cstime = (__force clock_t)(cstime);
 }
 
 SYSCALL_DEFINE1(times, struct tms __user *, tbuf)