Attilio Rao d59dd76c22 Merge r221278 from largeSMP project:
idle_cpus_mask is just used in sched_4bsd, thus make it private for it.

Tested by:	several
2011-05-16 23:20:12 +00:00
..
2011-05-16 23:20:12 +00:00
2011-05-16 23:20:12 +00:00