Searched refs:pool0 (Results 1 – 1 of 1) sorted by relevance
50 struct threadpool *pool0, *pool1, *pool2; in rumptest_threadpool_unbound_lifecycle() local53 error = threadpool_get(&pool0, PRI_NONE); in rumptest_threadpool_unbound_lifecycle()59 KASSERT(pool0 == pool1); in rumptest_threadpool_unbound_lifecycle()64 KASSERT(pool0 != pool2); in rumptest_threadpool_unbound_lifecycle()66 threadpool_put(pool0, PRI_NONE); in rumptest_threadpool_unbound_lifecycle()