mp_maxid madness

[John Baldwin]

The patch at http://www.FreeBSD.org/~jhb/patches/mp_maxid.patch
should fix all users of mp_maxid to use the same semantics.
Namely:

1) mp_maxid is a valid FreeBSD CPU ID in the range 0 to MAXCPU - 1.
2) For every CPU in the system, PCPU_GET(cpuid) <= mp_maxid

-- 

John Baldwin <jhb at FreeBSD.org>  <><  http://www.FreeBSD.org/~jhb/
"Power Users Use the Power to Serve!"  -  http://www.FreeBSD.org/