diff options
| author | wpaul <wpaul@FreeBSD.org> | 2005-10-11 21:31:23 +0000 |
|---|---|---|
| committer | wpaul <wpaul@FreeBSD.org> | 2005-10-11 21:31:23 +0000 |
| commit | cf228658f5322a62f8c3d73852824101877103e3 (patch) | |
| tree | bda0490aa35731a284cef7752e6e3085744cbc9a /sys | |
| parent | cf4406c1aad2a5376c68a3a05b83831476520440 (diff) | |
| download | FreeBSD-src-cf228658f5322a62f8c3d73852824101877103e3.zip FreeBSD-src-cf228658f5322a62f8c3d73852824101877103e3.tar.gz | |
Fix build: remove stale KASSERT() for mutex that no longer exists.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/dev/if_ndis/if_ndis.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sys/dev/if_ndis/if_ndis.c b/sys/dev/if_ndis/if_ndis.c index 9b864ac..5ec5dc8 100644 --- a/sys/dev/if_ndis/if_ndis.c +++ b/sys/dev/if_ndis/if_ndis.c @@ -917,8 +917,6 @@ ndis_detach(dev) driver_object *drv; sc = device_get_softc(dev); - KASSERT(mtx_initialized(&sc->ndis_mtx), - ("ndis mutex not initialized")); NDIS_LOCK(sc); ifp = sc->ifp; ifp->if_flags &= ~IFF_UP; |
