jhb 4b61439e79 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 .. MAXCPU - 1.
2) For all active CPUs in the system, PCPU_GET(cpuid) <= mp_maxid.

Approved by:	re (scottl)
Tested on:	i386, amd64, alpha
2003-12-03 14:57:26 +00:00
..
2003-08-06 12:08:27 +00:00
2003-11-10 00:44:00 +00:00
2003-11-10 00:44:00 +00:00
2003-08-11 05:51:51 +00:00
2003-06-11 23:50:51 +00:00
2003-11-14 08:22:38 +00:00