// Waits for a capability to drain of runnable threads and workers,
// and then acquires it. Used at shutdown time.
//
// Waits for a capability to drain of runnable threads and workers,
// and then acquires it. Used at shutdown time.
//
/* -----------------------------------------------------------------------------
* INLINE functions... private below here
* -------------------------------------------------------------------------- */
/* -----------------------------------------------------------------------------
* INLINE functions... private below here
* -------------------------------------------------------------------------- */