K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2012-11-15T14:10:51.045339Z
K 7
svn:log
V 94
Fix bug in r242852 that prevented CPU from becoming idle if kernel built
without SMP support.

END