drctl_cookie_t
drctl_cookie_t drctl_res_ck;
drctl_cookie_t drctl_res_ck;
drctl_cookie_t drctl_res_ck;
drctl_cookie_t drctl_res_ck;
drctl_cookie_t drc_busy; /* NULL if free else a unique */
int count, drctl_resp_t **rbuf, size_t *rsize, drctl_cookie_t ck)
drctlp->drc_busy = (drctl_cookie_t)-1;
drctl_config_fini(drctl_cookie_t ck, drctl_rsrc_t *res, int count)
drctlp->drc_busy = (drctl_cookie_t)-1;
drctl_rsrc_t *, int, drctl_resp_t **, size_t *, drctl_cookie_t);
extern int drctl_config_fini(drctl_cookie_t, drctl_rsrc_t *, int);