asmc_mmio_detach
asmc_mmio_detach(dev, sc);
void asmc_mmio_detach(device_t dev, struct asmc_softc *sc);