K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-05-16T23:20:12.775030Z
K 7
svn:log
V 129
Merge r221278 from largeSMP project:
idle_cpus_mask is just used in sched_4bsd, thus make it private for it.

Tested by:	several

END