diff options
| author | Bill Paul <wpaul@FreeBSD.org> | 2004-01-25 00:13:07 +0000 |
|---|---|---|
| committer | Bill Paul <wpaul@FreeBSD.org> | 2004-01-25 00:13:07 +0000 |
| commit | cf736ea0c7b7ab164d21f0917698b8093cd9b665 (patch) | |
| tree | dc261c2b2a7d84bd7dc3093180d8a4cdd9502268 | |
| parent | a8e167f0652a2eb92e52517418cd0ec61ad06eef (diff) | |
Notes
| -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 cf0e77dad8bb9..882624fb11856 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; |