Lines Matching defs:devctl_release
79 devctl_release(devctl_hdl_t hdl)
82 (void) printf("devctl_release: %p\n", (void *)hdl);
252 devctl_release((devctl_hdl_t)dcp);
275 devctl_release((devctl_hdl_t)dcp);
290 devctl_release((devctl_hdl_t)dcp);
295 devctl_release((devctl_hdl_t)dcp);
310 devctl_release((devctl_hdl_t)dcp);
334 devctl_release((devctl_hdl_t)dcp);
359 devctl_release((devctl_hdl_t)dcp);
382 devctl_release((devctl_hdl_t)dcp);
393 devctl_release((devctl_hdl_t)dcp);
403 devctl_release((devctl_hdl_t)dcp);
418 devctl_release((devctl_hdl_t)dcp);
425 devctl_release((devctl_hdl_t)dcp);
442 devctl_release((devctl_hdl_t)dcp);
451 devctl_release((devctl_hdl_t)dcp);
470 devctl_release((devctl_hdl_t)dcp);