K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2014-07-15T15:40:33.032214Z
K 7
svn:log
V 88
Fix build with SMP disabled.

CR:		https://phabric.freebsd.org/D407
Reviewed by:	royger

END