Bill Paul 9ad2cfc795 Correct KASSERT()s that check for initialization of mutexes in ndis_detach(), ... which are different now that I'm not using mutex pools anymore. Noticed by: des		2004-04-23 17:15:14 +00:00
..
if_ndis_pccard.c	Make if_ndis_pci.c and if_ndis_pccard.c use bus_alloc_resource() again	2004-03-21 19:56:41 +00:00
if_ndis_pci.c	Make if_ndis_pci.c and if_ndis_pccard.c use bus_alloc_resource() again	2004-03-21 19:56:41 +00:00
if_ndis.c	Correct KASSERT()s that check for initialization of mutexes in ndis_detach(),	2004-04-23 17:15:14 +00:00
if_ndisvar.h	Continue my efforts to imitate Windows as closely as possible by	2004-04-14 07:48:03 +00:00