Correct KASSERT() in ndis_destroy(): ndis_mtx is a pointer now.

Also add KASSERT() for ndis_intrmtx().
This commit is contained in:
Bill Paul 2004-01-25 00:13:07 +00:00
parent a8e167f065
commit cf736ea0c7

View File

@ -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;