tests/rump/kernspace/threadpool.c

111

KASSERT(data->count != FINAL_COUNT);

tests/rump/kernspace/threadpool.c

129

while (data->count != FINAL_COUNT - 1)

tests/rump/kernspace/threadpool.c

131

data->count = FINAL_COUNT;

tests/rump/kernspace/threadpool.c

167

while (data.count != FINAL_COUNT) {

tests/rump/kernspace/threadpool.c

195

while (data.count != FINAL_COUNT) {

tests/rump/kernspace/threadpool.c

230

data.count = FINAL_COUNT - 1;

tests/rump/kernspace/threadpool.c

235

KASSERT(data.count == FINAL_COUNT);

tests/rump/kernspace/threadpool.c

267

data.count = FINAL_COUNT - 1;

tests/rump/kernspace/threadpool.c

277

KASSERT(data.count == (FINAL_COUNT - 1) ||

tests/rump/kernspace/threadpool.c

278

data.count == FINAL_COUNT);