Lines Matching defs:devctl_release
75 devctl_release(devctl_hdl_t hdl)
78 (void) printf("devctl_release: %p\n", (void *)hdl);
248 devctl_release((devctl_hdl_t)dcp);
271 devctl_release((devctl_hdl_t)dcp);
286 devctl_release((devctl_hdl_t)dcp);
291 devctl_release((devctl_hdl_t)dcp);
306 devctl_release((devctl_hdl_t)dcp);
330 devctl_release((devctl_hdl_t)dcp);
355 devctl_release((devctl_hdl_t)dcp);
378 devctl_release((devctl_hdl_t)dcp);
389 devctl_release((devctl_hdl_t)dcp);
399 devctl_release((devctl_hdl_t)dcp);
414 devctl_release((devctl_hdl_t)dcp);
421 devctl_release((devctl_hdl_t)dcp);
438 devctl_release((devctl_hdl_t)dcp);
447 devctl_release((devctl_hdl_t)dcp);
466 devctl_release((devctl_hdl_t)dcp);