K 10
svn:author
V 6
sbruno
K 8
svn:date
V 27
2012-08-02T00:00:34.830455Z
K 7
svn:log
V 280
CPU_NEXT() already handles wrapping around to the beginning.  Also, in a
system with sparse CPU IDs, you can have a valid CPU ID > mp_ncpus (e.g. if
you have two CPUs 0 and 4, with mp_maxid == 4 and mp_ncpus == 2).

Introduced at svn r235210

Submitted by:	jhb@
Reviewed by:	jfv@

END