drctl_config_fini
if ((rv = drctl_config_fini(&drctl_res_ck, drctl_req, count)) != 0)
if (drctl_config_fini(&drctl_res_ck, drctl_req, 1) != 0)
if (drctl_config_fini(&drctl_res_ck, drctl_req, 1) != 0)
if ((rv = drctl_config_fini(&drctl_res_ck, drctl_req, count)) != 0)
extern int drctl_config_fini(drctl_cookie_t, drctl_rsrc_t *, int);