On Thu, Jul 29, 1999 at 01:08:22PM -0700, Jason Thorpe wrote:
> IMPORTANT NOTE
> --------------
> 
> Some people have suggested that a data type `cpuid_t' be introduced to
> hold CPU identifiers.  After some consideration, I have concluded that
> the type `unsigned long' is preferable for the following reasons:
> 
> 	Machine-independent code may wish to print out the value of
> 	a CPU identifier.  Therefore a type with a well-defined printf
> 	format should be used.
> 
> 	The `unsigned long' type is the size of a register on all current
> 	ILP32 and LP64 platforms supported by NetBSD.  Therefore, this
> 	type is safe to use for this purpose on all platforms.

how about defining cpuid_t in an MI header?
that should make everyone happy...

-Chuck