K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2011-01-04T13:16:28.566191Z
K 7
svn:log
V 110
kproc_exit() is already marked __dead2 so a NOTREACHED comment here isn't
needed for lint.

Submitted by:	bde

END