workq_free
workq_free(wqp->wq_items, sizeof (void *) *
workq_free(wqp, sizeof (workq_t));
workq_free(wqp->wq_thrs,
workq_free(wqp->wq_items, sizeof (void *) * WORKQ_DEFAULT_CAP);
workq_free(wqp, sizeof (workq_t));
workq_free(wqp->wq_thrs,
workq_free(wqp->wq_items, sizeof (void *) * WORKQ_DEFAULT_CAP);
workq_free(wqp, sizeof (workq_t));
workq_free(wqp->wq_items, sizeof (void *) * wqp->wq_cap);
workq_free(wqp->wq_items, sizeof (void *) * wqp->wq_cap);
workq_free(wqp->wq_thrs, sizeof (thread_t) * wqp->wq_ndthreads);
workq_free(wqp, sizeof (workq_t));
workq_free(wqp, sizeof (workq_t));
extern void workq_free(void *, size_t);