static int efirtc_detach(device_t dev) { clock_unregister(dev); return (0); }
static int snvs_detach(device_t dev) { struct snvs_softc *sc; sc = device_get_softc(dev); clock_unregister(sc->dev); bus_release_resource(sc->dev, SYS_RES_MEMORY, 0, sc->memres); return (0); }