K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-04-30T22:30:18.340124Z
K 7
svn:log
V 90
idle_cpus_mask is just used in the SMP case and within sched_4BSD.
Declare appropriately.

END