K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2016-01-22T20:30:51.403313Z
K 7
svn:log
V 206
When devfs dirent is freed, a vnode might still keep a pointer to it,
apparently.  Interlock and clear the pointer to avoid free memory
dereference.

Submitted by:	bde (previous version)
MFC after:	3 weeks

END