K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2012-12-09T04:54:22.660140Z
K 7
svn:log
V 128
Add a comment on why inlining critical_enter() may not be a good idea
for the general case.

Reviewed by:	bde
MFC after:	1 week

END