K 10
svn:author
V 4
gber
K 8
svn:date
V 27
2013-05-06T14:27:46.955758Z
K 7
svn:log
V 150
Avoid calling pcpu_init() simultaneously.

pcpu_init() updates queue, so cannot be called by multiple cores
at the same time

Obtained from:	Semihalf

END