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);