Date: Wed, 28 Nov 2001 15:25:32 +0100
From: Andi Kleen <ak@suse.de>

What is not monotonous is time() vs gettimeofday(). This is a (known) kernel
bug. Here is a patch. 


--- linux/kernel/time.c-o	Tue Nov 27 22:58:37 2001
+++ linux/kernel/time.c	Wed Nov 28 15:15:13 2001
@@ -81,11 +81,11 @@
  */
 asmlinkage long sys_time(int * tloc)
 {
-	int i;
+	struct timeval now; 
+	int i; 
 
-	/* SMP: This is fairly trivial. We grab CURRENT_TIME and 
-	   stuff it to user space. No side effects */
-	i = CURRENT_TIME;
+	do_gettimeofday(&now);
+	i = now.tv_sec;
 	if (tloc) {
 		if (put_user(i,tloc))
 			i = -EFAULT;

-Andi