Home | Sort by: relevance | last modified time | path |
/src/tests/rump/kernspace/ | |
threadpool.c | 50 struct threadpool *pool0, *pool1, *pool2; local in function:rumptest_threadpool_unbound_lifecycle 53 error = threadpool_get(&pool0, PRI_NONE); 59 KASSERT(pool0 == pool1); 64 KASSERT(pool0 != pool2); 66 threadpool_put(pool0, PRI_NONE); |
threadpool.c | 50 struct threadpool *pool0, *pool1, *pool2; local in function:rumptest_threadpool_unbound_lifecycle 53 error = threadpool_get(&pool0, PRI_NONE); 59 KASSERT(pool0 == pool1); 64 KASSERT(pool0 != pool2); 66 threadpool_put(pool0, PRI_NONE); |
threadpool.c | 50 struct threadpool *pool0, *pool1, *pool2; local in function:rumptest_threadpool_unbound_lifecycle 53 error = threadpool_get(&pool0, PRI_NONE); 59 KASSERT(pool0 == pool1); 64 KASSERT(pool0 != pool2); 66 threadpool_put(pool0, PRI_NONE); |