diff options
author | wpaul <wpaul@FreeBSD.org> | 2004-01-25 00:13:07 +0000 |
---|---|---|
committer | wpaul <wpaul@FreeBSD.org> | 2004-01-25 00:13:07 +0000 |
commit | 983ec1a4d4e7bac61755ac3385faa3d186f57b78 (patch) | |
tree | dc261c2b2a7d84bd7dc3093180d8a4cdd9502268 | |
parent | af304de1a8051bd1c53b4e544c69f17253a43afb (diff) | |
download | FreeBSD-src-983ec1a4d4e7bac61755ac3385faa3d186f57b78.zip FreeBSD-src-983ec1a4d4e7bac61755ac3385faa3d186f57b78.tar.gz |
Correct KASSERT() in ndis_destroy(): ndis_mtx is a pointer now.
Also add KASSERT() for ndis_intrmtx().
-rw-r--r-- | sys/dev/if_ndis/if_ndis.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sys/dev/if_ndis/if_ndis.c b/sys/dev/if_ndis/if_ndis.c index cf0e77d..882624f 100644 --- a/sys/dev/if_ndis/if_ndis.c +++ b/sys/dev/if_ndis/if_ndis.c @@ -905,7 +905,10 @@ ndis_detach(dev) struct ifnet *ifp; sc = device_get_softc(dev); - KASSERT(mtx_initialized(&sc->ndis_mtx), ("ndis mutex not initialized")); + KASSERT(mtx_initialized(sc->ndis_mtx), + ("ndis mutex not initialized")); + KASSERT(mtx_initialized(sc->ndis_intrmtx), + ("ndis interrupt mutex not initialized")); NDIS_LOCK(sc); ifp = &sc->arpcom.ac_if; ifp->if_flags &= ~IFF_UP; |