On Thu, 29 Jul 1999 16:01:48 -0700
Chuck Silvers <chuq@chuq.com> wrote:
> how about defining cpuid_t in an MI header?
> that should make everyone happy...
Yah, sorry, I haven't updated that part of the document yet.
-- Jason R. Thorpe <thorpej@nas.nasa.gov>