Subject: cp_time[] - current "long", should be "u_int64_t"?
To: None <tech-kern@netbsd.org>
From: Simon Burge <simonb@netbsd.org>
List: tech-kern
Date: 05/29/2000 10:51:48 
Folks,

The cp_time array is currently longs - I propose changing it to
u_int64_t for two reasons:

 + On a mostly idle 256HZ 32-bit machine (eg pmax), the CP_IDLE
   counter will overflow in approx 100 days.
 + In a compat32 situation on a 64 bit kernel the results of a
   userland program reading cp_time will be bogus.

Any reasons not to do this?

Simon.