ww_acquire_fini
ww_acquire_fini(&ctx);
ww_acquire_fini(&exec->ticket);
ww_acquire_fini(acquire_ctx);
ww_acquire_fini(acquire_ctx);
ww_acquire_fini(acquire_ctx);
ww_acquire_fini(ticket);
ww_acquire_fini(&resv_ctx);
ww_acquire_fini(&ctx->ww_ctx);
ww_acquire_fini(&ww->ctx);
ww_acquire_fini(&ctx);
ww_acquire_fini(&ctx);
ww_acquire_fini(&ctx1);
ww_acquire_fini(&ctx);
ww_acquire_fini(ticket);
ww_acquire_fini(ticket);
ww_acquire_fini(ticket);