device_release
{ "release", "", device_release },
static void device_release(int, char *[]);
device_release(apei0);
device_release(apei0);
device_release(apei0);
device_release(apei0);
device_release(audiodev);
device_release(dv);
device_release(dv);
device_release(sc->sc_dev);
device_release(sc->sc_dev);
device_release(sc->sc_dev);
device_release(dv);
device_release(dev);
device_release(dev);
device_release(dev);
device_release(dev);
device_release(dv);
device_release(dv);
void device_release(device_t);