K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2012-09-08T18:27:11.615631Z
K 7
svn:log
V 162
userret() already checks for td_locks when INVARIANTS is enabled, so
there is no need to check if Giant is acquired after it.

Reviewed by:	kib
MFC after:	1 week

END