892 		ASSERT(pc->cypc_prodndx != pc->cypc_consndx);  in cyclic_expire()
967 		ASSERT(!(cyclic->cy_flags & CYF_FREE));  in cyclic_fire()
1045 	ASSERT(cyclic->cy_flags & CYF_FREE);  in cyclic_remove_pend()
1046 	ASSERT(cyclic->cy_pend == 0);  in cyclic_remove_pend()
1047 	ASSERT(cpu->cyp_state == CYS_REMOVING);  in cyclic_remove_pend()
1048 	ASSERT(cpu->cyp_rpend > 0);  in cyclic_remove_pend()
1132 	ASSERT(level < CY_LOW_LEVEL + CY_SOFT_LEVELS);  in cyclic_softint()
1137 	ASSERT(soft == 0 || soft == 1);  in cyclic_softint()
1153 		ASSERT(buf[consmasked] < cpu->cyp_size);  in cyclic_softint()
1210 				ASSERT(cpu->cyp_state == CYS_EXPANDING);  in cyclic_softint()
1211 				ASSERT(cyclics != cpu->cyp_cyclics);  in cyclic_softint()
1212 				ASSERT(resized == 0);  in cyclic_softint()
1213 				ASSERT(intr_resized == 0);  in cyclic_softint()
1217 				ASSERT(cyclic->cy_handler == handler);  in cyclic_softint()
1218 				ASSERT(cyclic->cy_arg == arg);  in cyclic_softint()
1250 				ASSERT(opend > pend || (opend == 0 &&  in cyclic_softint()
1279 		ASSERT(cpu->cyp_state == CYS_EXPANDING);  in cyclic_softint()
1280 		ASSERT(softbuf->cys_buf[softbuf->cys_hard].cypc_sizemask ==  in cyclic_softint()
1283 		ASSERT(softbuf->cys_hard == (softbuf->cys_soft ^ 1));  in cyclic_softint()
1297 		ASSERT(resized == 0);  in cyclic_softint()
1306 	ASSERT(!(intr_resized == 1 && resized == 0));  in cyclic_softint()
1311 		ASSERT(cpu->cyp_state == CYS_EXPANDING);  in cyclic_softint()
1328 			ASSERT(nlev < CY_SOFT_LEVELS);  in cyclic_softint()
1350 	ASSERT(cpu->cyp_state == CYS_EXPANDING);  in cyclic_expand_xcall()
1366 	ASSERT((new_size & new_size - 1) == 0);  in cyclic_expand_xcall()
1367 	ASSERT(new_size == (size << 1));  in cyclic_expand_xcall()
1368 	ASSERT(cpu->cyp_heap != NULL && cpu->cyp_cyclics != NULL);  in cyclic_expand_xcall()
1409 		ASSERT(hard == softbuf->cys_soft);  in cyclic_expand_xcall()
1410 		ASSERT(hard == 0 || hard == 1);  in cyclic_expand_xcall()
1411 		ASSERT(softbuf->cys_buf[hard].cypc_buf != NULL);  in cyclic_expand_xcall()
1420 		ASSERT(softbuf->cys_buf[hard ^ 1].cypc_buf != NULL);  in cyclic_expand_xcall()
1421 		ASSERT(softbuf->cys_buf[hard ^ 1].cypc_prodndx == 0);  in cyclic_expand_xcall()
1422 		ASSERT(softbuf->cys_buf[hard ^ 1].cypc_consndx == 0);  in cyclic_expand_xcall()
1448 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_expand()
1449 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_expand()
1458 		ASSERT(old_heap == NULL && old_cyclics == NULL);  in cyclic_expand()
1464 	ASSERT((new_size - 1 & new_size) == 0);  in cyclic_expand()
1480 		ASSERT(hard == old_hard);  in cyclic_expand()
1481 		ASSERT(hard == softbuf->cys_soft);  in cyclic_expand()
1482 		ASSERT(pc->cypc_buf == NULL);  in cyclic_expand()
1504 	ASSERT(cpu->cyp_modify_levels == CY_SOFT_LEVELS);  in cyclic_expand()
1514 		ASSERT(hard == (old_hard ^ 1));  in cyclic_expand()
1515 		ASSERT(hard == softbuf->cys_soft);  in cyclic_expand()
1520 		ASSERT(pc->cypc_sizemask == ((new_size - 1) >> 1));  in cyclic_expand()
1528 		ASSERT(old_heap != NULL);  in cyclic_expand()
1529 		ASSERT(old_size != 0);  in cyclic_expand()
1534 	ASSERT(cpu->cyp_state == CYS_EXPANDING);  in cyclic_expand()
1558 	ASSERT(!(flags & CYF_CPU_BOUND) || bound != NULL);  in cyclic_pick_cpu()
1559 	ASSERT(!(flags & CYF_PART_BOUND) || part != NULL);  in cyclic_pick_cpu()
1626 		ASSERT(avoid->cpu_flags & CPU_ENABLE);  in cyclic_pick_cpu()
1636 	ASSERT(avoid->cpu_part == start->cpu_part);  in cyclic_pick_cpu()
1641 	ASSERT(c != avoid);  in cyclic_pick_cpu()
1642 	ASSERT(c->cpu_cyclic != NULL);  in cyclic_pick_cpu()
1659 	ASSERT(cpu->cyp_nelems < cpu->cyp_size);  in cyclic_add_xcall()
1680 	ASSERT(cyclic->cy_flags == CYF_FREE);  in cyclic_add_xcall()
1724 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_add_here()
1725 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_add_here()
1726 	ASSERT(!(cpu->cyp_cpu->cpu_flags & CPU_OFFLINE));  in cyclic_add_here()
1727 	ASSERT(when->cyt_when >= 0 && when->cyt_interval > 0);  in cyclic_add_here()
1735 		ASSERT(cpu->cyp_nelems < cpu->cyp_size);  in cyclic_add_here()
1769 	ASSERT(cpu->cyp_state == CYS_REMOVING);  in cyclic_remove_xcall()
1777 	ASSERT(nelems > 0);  in cyclic_remove_xcall()
1806 		ASSERT(cyclic->cy_level != CY_HIGH_LEVEL);  in cyclic_remove_xcall()
1874 			ASSERT(heap[0] == root);  in cyclic_remove_xcall()
1887 	ASSERT(nelems != 0);  in cyclic_remove_xcall()
1901 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_remove_here()
1902 	ASSERT(cpu->cyp_rpend == 0);  in cyclic_remove_here()
1903 	ASSERT(wait == CY_WAIT || wait == CY_NOWAIT);  in cyclic_remove_here()
1910 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_remove_here()
1921 	ASSERT(!(level == CY_HIGH_LEVEL && cpu->cyp_rpend != 0));  in cyclic_remove_here()
1922 	ASSERT(!(wait == CY_NOWAIT && cpu->cyp_rpend != 0));  in cyclic_remove_here()
1923 	ASSERT(!(arg.cyx_wait == CY_NOWAIT && cpu->cyp_rpend != 0));  in cyclic_remove_here()
1931 		ASSERT(wait == CY_NOWAIT && arg.cyx_wait == CY_WAIT);  in cyclic_remove_here()
1932 		ASSERT(cpu->cyp_state == CYS_REMOVING);  in cyclic_remove_here()
1941 	ASSERT(cpu->cyp_state == CYS_REMOVING);  in cyclic_remove_here()
1971 	ASSERT(nelems > 0);  in cyclic_reprogram_cyclic()
2026 	ASSERT(expiration > 0);  in cyclic_reprogram_here()
2053 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_juggle_one_to()
2054 	ASSERT(src != NULL && idp->cyi_omni_list == NULL);  in cyclic_juggle_one_to()
2055 	ASSERT(!(dest->cyp_cpu->cpu_flags & (CPU_QUIESCED | CPU_OFFLINE)));  in cyclic_juggle_one_to()
2061 	ASSERT(!(flags & CYF_CPU_BOUND) && !(flags & CYF_FREE));  in cyclic_juggle_one_to()
2077 		ASSERT(dest->cyp_nelems < dest->cyp_size);  in cyclic_juggle_one_to()
2152 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_juggle_one()
2153 	ASSERT(!(c->cpu_flags & CPU_OFFLINE));  in cyclic_juggle_one()
2154 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_juggle_one()
2155 	ASSERT(!(cyclic->cy_flags & CYF_FREE));  in cyclic_juggle_one()
2179 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_unbind_cpu()
2180 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_unbind_cpu()
2181 	ASSERT(!(cyclic->cy_flags & CYF_FREE));  in cyclic_unbind_cpu()
2182 	ASSERT(cyclic->cy_flags & CYF_CPU_BOUND);  in cyclic_unbind_cpu()
2195 		ASSERT((res && idp->cyi_cpu != cpu) ||  in cyclic_unbind_cpu()
2210 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_bind_cpu()
2211 	ASSERT(!(d->cpu_flags & CPU_OFFLINE));  in cyclic_bind_cpu()
2212 	ASSERT(!(c->cpu_flags & CPU_OFFLINE));  in cyclic_bind_cpu()
2213 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_bind_cpu()
2214 	ASSERT(dest != NULL);  in cyclic_bind_cpu()
2215 	ASSERT(dest->cyp_state == CYS_ONLINE);  in cyclic_bind_cpu()
2216 	ASSERT(!(cyclic->cy_flags & CYF_FREE));  in cyclic_bind_cpu()
2217 	ASSERT(!(cyclic->cy_flags & CYF_CPU_BOUND));  in cyclic_bind_cpu()
2238 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_unbind_cpupart()
2239 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_unbind_cpupart()
2240 	ASSERT(!(cyc->cy_flags & CYF_FREE));  in cyclic_unbind_cpupart()
2241 	ASSERT(cyc->cy_flags & CYF_PART_BOUND);  in cyclic_unbind_cpupart()
2252 		ASSERT(res && idp->cyi_cpu != cpu);  in cyclic_unbind_cpupart()
2265 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_bind_cpupart()
2266 	ASSERT(!(c->cpu_flags & CPU_OFFLINE));  in cyclic_bind_cpupart()
2267 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_bind_cpupart()
2268 	ASSERT(!(cyc->cy_flags & CYF_FREE));  in cyclic_bind_cpupart()
2269 	ASSERT(!(cyc->cy_flags & CYF_PART_BOUND));  in cyclic_bind_cpupart()
2270 	ASSERT(part->cp_ncpus > 0);  in cyclic_bind_cpupart()
2290 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_configure()
2342 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_unconfigure()
2343 	ASSERT(cpu->cyp_state == CYS_OFFLINE);  in cyclic_unconfigure()
2344 	ASSERT(cpu->cyp_nelems == 0);  in cyclic_unconfigure()
2366 		ASSERT(hard == softbuf->cys_soft);  in cyclic_unconfigure()
2367 		ASSERT(hard == 0 || hard == 1);  in cyclic_unconfigure()
2368 		ASSERT(pc->cypc_buf != NULL);  in cyclic_unconfigure()
2369 		ASSERT(softbuf->cys_buf[hard ^ 1].cypc_buf == NULL);  in cyclic_unconfigure()
2396 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_cpu_setup()
2400 		ASSERT(cyp == NULL);  in cyclic_cpu_setup()
2405 		ASSERT(cyp != NULL && cyp->cyp_state == CYS_OFFLINE);  in cyclic_cpu_setup()
2427 	ASSERT(cpu->cyp_state == CYS_ONLINE || cpu->cyp_state == CYS_OFFLINE);  in cyclic_suspend_xcall()
2435 		ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_suspend_xcall()
2458 	ASSERT(state == CYS_SUSPENDED || state == CYS_OFFLINE);  in cyclic_resume_xcall()
2471 		ASSERT(state == CYS_SUSPENDED);  in cyclic_resume_xcall()
2492 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_omni_start()
2493 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_omni_start()
2494 	ASSERT(idp->cyi_cpu == NULL);  in cyclic_omni_start()
2505 	ASSERT(hdlr.cyh_func != NULL);  in cyclic_omni_start()
2506 	ASSERT(hdlr.cyh_level < CY_LEVELS);  in cyclic_omni_start()
2507 	ASSERT(when.cyt_when >= 0 && when.cyt_interval > 0);  in cyclic_omni_start()
2525 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_omni_stop()
2526 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_omni_stop()
2527 	ASSERT(idp->cyi_cpu == NULL);  in cyclic_omni_stop()
2528 	ASSERT(ocpu != NULL);  in cyclic_omni_stop()
2547 	ASSERT(ocpu != NULL);  in cyclic_omni_stop()
2616 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_new_id()
2636 		ASSERT(cyclic_id_head->cyi_prev == NULL);  in cyclic_new_id()
2738 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_add()
2739 	ASSERT(when->cyt_when >= 0 && when->cyt_interval > 0);  in cyclic_add()
2836 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_add_omni()
2837 	ASSERT(omni != NULL && omni->cyo_online != NULL);  in cyclic_add_omni()
2847 			ASSERT(cpu->cyp_state == CYS_OFFLINE);  in cyclic_add_omni()
2858 	ASSERT(idp->cyi_omni_list != NULL);  in cyclic_add_omni()
2859 	ASSERT(idp->cyi_cpu == NULL);  in cyclic_add_omni()
2902 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_remove()
2907 		ASSERT(idp->cyi_omni_list != NULL);  in cyclic_remove()
2913 		ASSERT(cyclic_id_head != idp);  in cyclic_remove()
2916 		ASSERT(cyclic_id_head == idp);  in cyclic_remove()
3004 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_bind()
3005 	ASSERT(part == NULL || d == NULL || d->cpu_part == part);  in cyclic_bind()
3008 		ASSERT(idp->cyi_omni_list != NULL);  in cyclic_bind()
3037 	ASSERT(!(flags & CYF_CPU_BOUND) || c == d);  in cyclic_bind()
3038 	ASSERT(!(flags & CYF_PART_BOUND) || c->cpu_part == part);  in cyclic_bind()
3055 	ASSERT(expiration > 0);  in cyclic_reprogram()
3067 		ASSERT(curthread->t_preempt > 0);  in cyclic_reprogram()
3123 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_init()
3210 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_juggle()
3225 		ASSERT(idp->cyi_cpu != cpu);  in cyclic_juggle()
3270 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_offline()
3287 		ASSERT(idp->cyi_omni_list != NULL);  in cyclic_offline()
3291 	ASSERT(cpu->cyp_state == CYS_ONLINE);  in cyclic_offline()
3327 	ASSERT(c->cpu_flags & CPU_ENABLE);  in cyclic_online()
3328 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_online()
3329 	ASSERT(cpu->cyp_state == CYS_OFFLINE);  in cyclic_online()
3381 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_move_in()
3419 		ASSERT(cyclic->cy_flags & CYF_PART_BOUND);  in cyclic_move_in()
3475 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_move_out()
3566 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_suspend()
3618 	ASSERT(MUTEX_HELD(&cpu_lock));  in cyclic_resume()