Searched refs:xc_work_cnt (Results 1 – 2 of 2) sorted by relevance
136 atomic_dec_32(&mcpu->xc_work_cnt); in xc_decrement()147 old = mcpu->xc_work_cnt; in xc_increment()148 } while (atomic_cas_32(&mcpu->xc_work_cnt, old, old + 1) != old); in xc_increment()261 ASSERT(cpup->cpu_m.xc_work_cnt == 0); in xc_fini_cpu()288 if (cpup->cpu_m.xc_work_cnt == 0) { in xc_flush_cpu()325 while (mcpup->xc_work_cnt != 0) { in xc_serv()345 if (mcpup->xc_work_cnt == 0) in xc_serv()585 if (cpup->cpu_m.xc_work_cnt > 0) in xc_priority_common()
89 volatile uint32_t xc_work_cnt; member