DEBUGASSERT 124 kern/thread/thread.c DEBUGASSERT(name != NULL); DEBUGASSERT 553 kern/thread/thread.c DEBUGASSERT(curcpu->c_curthread == curthread); DEBUGASSERT 554 kern/thread/thread.c DEBUGASSERT(curthread->t_cpu == curcpu->c_self); DEBUGASSERT 42 kern/thread/threadlist.c DEBUGASSERT(tln != NULL); DEBUGASSERT 53 kern/thread/threadlist.c DEBUGASSERT(tln != NULL); DEBUGASSERT 63 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 77 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 78 kern/thread/threadlist.c DEBUGASSERT(tl->tl_head.tln_next == &tl->tl_tail); DEBUGASSERT 79 kern/thread/threadlist.c DEBUGASSERT(tl->tl_head.tln_prev == NULL); DEBUGASSERT 80 kern/thread/threadlist.c DEBUGASSERT(tl->tl_tail.tln_next == NULL); DEBUGASSERT 81 kern/thread/threadlist.c DEBUGASSERT(tl->tl_tail.tln_prev == &tl->tl_head); DEBUGASSERT 82 kern/thread/threadlist.c DEBUGASSERT(tl->tl_head.tln_self == NULL); DEBUGASSERT 83 kern/thread/threadlist.c DEBUGASSERT(tl->tl_tail.tln_self == NULL); DEBUGASSERT 94 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 113 kern/thread/threadlist.c DEBUGASSERT(addee->tln_prev == NULL); DEBUGASSERT 114 kern/thread/threadlist.c DEBUGASSERT(addee->tln_next == NULL); DEBUGASSERT 133 kern/thread/threadlist.c DEBUGASSERT(addee->tln_prev == NULL); DEBUGASSERT 134 kern/thread/threadlist.c DEBUGASSERT(addee->tln_next == NULL); DEBUGASSERT 149 kern/thread/threadlist.c DEBUGASSERT(tln != NULL); DEBUGASSERT 150 kern/thread/threadlist.c DEBUGASSERT(tln->tln_prev != NULL); DEBUGASSERT 151 kern/thread/threadlist.c DEBUGASSERT(tln->tln_next != NULL); DEBUGASSERT 165 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 166 kern/thread/threadlist.c DEBUGASSERT(t != NULL); DEBUGASSERT 175 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 176 kern/thread/threadlist.c DEBUGASSERT(t != NULL); DEBUGASSERT 187 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 195 kern/thread/threadlist.c DEBUGASSERT(tl->tl_count > 0); DEBUGASSERT 205 kern/thread/threadlist.c DEBUGASSERT(tl != NULL); DEBUGASSERT 213 kern/thread/threadlist.c DEBUGASSERT(tl->tl_count > 0); DEBUGASSERT 238 kern/thread/threadlist.c DEBUGASSERT(tl->tl_count > 0);