diff options
| -rw-r--r-- | sys/dev/hme/if_hme_pci.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/dev/hme/if_hme_pci.c b/sys/dev/hme/if_hme_pci.c index 8d778465088fe..ade6e19d631b5 100644 --- a/sys/dev/hme/if_hme_pci.c +++ b/sys/dev/hme/if_hme_pci.c @@ -377,6 +377,7 @@ hme_pci_detach(device_t dev) hme_detach(sc); bus_release_resource(dev, SYS_RES_IRQ, hsc->hsc_irid, hsc->hsc_ires); bus_release_resource(dev, SYS_RES_MEMORY, hsc->hsc_srid, hsc->hsc_sres); + mtx_destroy(&sc->sc_lock); return (0); } |