307     KKASSERT((td->td_flags & TDF_MIGRATING) == 0);  in lwkt_schedule_self()
311     KKASSERT(td->td_lwp == NULL ||  in lwkt_schedule_self()
366               KKASSERT((td->td_flags & (TDF_RUNNING|TDF_PREEMPT_LOCK|  in lwkt_alloc_thread()
371               KKASSERT((td->td_flags & (TDF_RUNNING|TDF_PREEMPT_LOCK|  in lwkt_alloc_thread()
505     KKASSERT(td->td_refs > 0);  in lwkt_rele()
512     KKASSERT(td->td_refs == 0);  in lwkt_free_thread()
513     KKASSERT((td->td_flags & (TDF_RUNNING | TDF_PREEMPT_LOCK |  in lwkt_free_thread()
576     KKASSERT(gd->gd_processing_ipiq == 0);  in lwkt_switch()
577     KKASSERT(td->td_flags & TDF_RUNNING);  in lwkt_switch()
673           KKASSERT(ntd->td_flags & TDF_PREEMPT_LOCK);  in lwkt_switch()
815           KKASSERT((ntd->td_flags & TDF_RUNNING) == 0);  in lwkt_switch()
864                     KKASSERT((otd->td_flags & (TDF_MIGRATING | TDF_RUNNING)) ==  in lwkt_switch_return()
1006     KKASSERT(gd->gd_spinlocks == 0);  in lwkt_preempt()
1026     KKASSERT(gd->gd_processing_ipiq == 0);  in lwkt_preempt()
1048     KKASSERT((ntd->td_flags & TDF_RUNNING) == 0);  in lwkt_preempt()
1051     KKASSERT(xtd == ntd);  in lwkt_preempt()
1055     KKASSERT(ntd->td_preempted && (td->td_flags & TDF_PREEMPT_DONE));  in lwkt_preempt()
1293     KKASSERT((td->td_flags & TDF_MIGRATING) == 0);  in _lwkt_schedule()
1295     KKASSERT(td->td_lwp == NULL ||  in _lwkt_schedule()
1371     KKASSERT(td->td_gd == gd);  in lwkt_giveaway()
1383     KKASSERT(td->td_flags & TDF_MIGRATING);  in lwkt_acquire()
1391           KKASSERT((td->td_flags & TDF_RUNQ) == 0);  in lwkt_acquire()
1454           KKASSERT(pri >= 0);  in lwkt_setpri()
1457               KKASSERT(td->td_gd == mycpu);  in lwkt_setpri()
1480     KKASSERT(pri >= 0);  in lwkt_setpri_initial()
1481     KKASSERT((td->td_flags & TDF_RUNQ) == 0);  in lwkt_setpri_initial()
1490     KKASSERT(pri >= 0 && pri <= TDPRI_MAX);  in lwkt_setpri_self()
1590           KKASSERT(rgd == mycpu);  in lwkt_setcpu_self()
1621     KKASSERT((td->td_flags & (TDF_RUNNING|TDF_PREEMPT_LOCK)) == 0);  in lwkt_setcpu_remote()
1625     KKASSERT(td->td_migrate_gd == NULL);  in lwkt_setcpu_remote()
1626     KKASSERT(td->td_lwp == NULL ||  in lwkt_setcpu_remote()
1714               KKASSERT((std->td_flags & (TDF_RUNNING|TDF_PREEMPT_LOCK)) == 0);  in lwkt_exit()
1735     KKASSERT(td->td_refs == 0);  in lwkt_exit()
1740     KKASSERT(gd->gd_freetd == NULL);  in lwkt_exit()
1749     KKASSERT(td->td_gd == mycpu);  in lwkt_remove_tdallq()