Subject: Re: Still seeing problems with "time cmd"
To: David Laight <david@l8s.co.uk>
From: Martin Husemann <martin@duskware.de>
List: tech-kern
Date: 05/30/2003 20:33:15 
On Fri, May 30, 2003 at 07:17:01PM +0100, David Laight wrote:
> That was assuming it was i386.....

Just a side note: that code is shared between multiple archs now:

[/usr/src/sys/arch] martin@night-porter > fgrep kern_microtime */conf/files*
alpha/conf/files.alpha:file	kern/kern_microtime.c
amd64/conf/files.amd64:file	kern/kern_microtime.c
i386/conf/files.i386:file	kern/kern_microtime.c		i586_cpu | i686_cpu
sparc64/conf/files.sparc64:file	kern/kern_microtime.c

Martin