Searched refs:pcpu0 (Results 1 – 1 of 1) sorted by relevance
74 struct threadpool_percpu *pcpu0, *pcpu1, *pcpu2; in rumptest_threadpool_percpu_lifecycle() local77 error = threadpool_percpu_get(&pcpu0, PRI_NONE); in rumptest_threadpool_percpu_lifecycle()83 KASSERT(pcpu0 == pcpu1); in rumptest_threadpool_percpu_lifecycle()88 KASSERT(pcpu0 != pcpu2); in rumptest_threadpool_percpu_lifecycle()90 threadpool_percpu_put(pcpu0, PRI_NONE); in rumptest_threadpool_percpu_lifecycle()