diff options
| -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; |
