threadpool.c | 74 struct threadpool_percpu *pcpu0, *pcpu1, *pcpu2; local in function:rumptest_threadpool_percpu_lifecycle 77 error = threadpool_percpu_get(&pcpu0, PRI_NONE); 83 KASSERT(pcpu0 == pcpu1); 88 KASSERT(pcpu0 != pcpu2); 90 threadpool_percpu_put(pcpu0, PRI_NONE);
|