version 1.3, 2011/11/02 23:05:52 |
version 1.3.14.1, 2013/09/07 16:01:25 |
Line 199 virtio_detach(device_t self, int flags) |
|
Line 199 virtio_detach(device_t self, int flags) |
|
} |
} |
KASSERT(sc->sc_child == 0 || sc->sc_child == (void*)1); |
KASSERT(sc->sc_child == 0 || sc->sc_child == (void*)1); |
KASSERT(sc->sc_vqs == 0); |
KASSERT(sc->sc_vqs == 0); |
pci_intr_disestablish(sc->sc_pc, sc->sc_ih); |
if (sc->sc_ih != NULL) { |
sc->sc_ih = 0; |
pci_intr_disestablish(sc->sc_pc, sc->sc_ih); |
|
sc->sc_ih = NULL; |
|
} |
if (sc->sc_iosize) |
if (sc->sc_iosize) |
bus_space_unmap(sc->sc_iot, sc->sc_ioh, sc->sc_iosize); |
bus_space_unmap(sc->sc_iot, sc->sc_ioh, sc->sc_iosize); |
sc->sc_iosize = 0; |
sc->sc_iosize = 0; |