devctl_release
devctl_release(dev_hdl);
devctl_release(bus_handle);
devctl_release(dev_handle);
devctl_release(bus_handle);
devctl_release(dcp);
devctl_release(dcp);
devctl_release(dcp);
if (dev_hdl) devctl_release(dev_hdl);
if (bus_hdl) devctl_release(bus_hdl);
devctl_release(dev_hdl);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(bus_handle);
devctl_release(dev_handle);
devctl_release(dev_handle);
devctl_release(bus_handle);
devctl_release(dhdl);
devctl_release(dhdl);
devctl_release(dev_hdl);
devctl_release(bus_hdl);
devctl_release(dev_hdl);
devctl_release(dcp);
devctl_release(dcp);
devctl_release(dcp);
devctl_release(dcp);
devctl_release(dcp);
devctl_release(dcp);
devctl_release(hdl);
devctl_release(bus_hdl);
devctl_release(dev_hdl);
devctl_release(bus_hdl);
devctl_release(bus_hdl);
devctl_release(dev_hdl);
devctl_release(hdl);
devctl_release(hdl);
devctl_release(hdl);
devctl_release(devctl_hdl);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release(devctl_hdl);
devctl_release(hdl);
devctl_release(devctl_hdl);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release((devctl_hdl_t)dcp);
devctl_release(devctl_hdl_t hdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);
(void) devctl_release(devhdl);