On Thu, Aug 12, 2004 at 11:42:43PM +1000, matthew green wrote:
   > 
   >    
   >    Module Name:	src
   >    Committed By:	hannken
   >    Date:		Thu Aug 12 12:15:21 UTC 2004
   >    
   >    Modified Files:
   >    	src/sys/kern: kern_microtime.c
   >    
   >    Log Message:
   >    Make it compile again for sparc64/DIAGNOSTIC.
   >    
   >    All archs should use `cpuid_t ci_cpuid' ...
   > 
   > 
   > hmmm cpuid_t is a u_long -- why does sparc64 need to use a 64bit
   > int for this instead of a 32 bit one?  that seems wasteful.  (it
   > currently just uses 'int'.)
   
   Because we dont need casts in printf's. If all archs use ci_cpuid
   as an index, "typedef u_int cpuid_t" leaves space
   for approx. 4.000.000.000 cpus.


if cpuid_t was changed to a u_int that would be fine but right
now it's a u_long....


.mrg.