K 10
svn:author
V 5
wpaul
K 8
svn:date
V 27
2004-01-25T00:13:07.000000Z
K 7
svn:log
V 103
Correct KASSERT() in ndis_destroy(): ndis_mtx is a pointer now.
Also add KASSERT() for ndis_intrmtx().

END