Function tidbatch_add

freebsd/kern/kern_thread.c:307–315

}

static void
tidbatch_add(struct tidbatch *tb, struct thread *td)
{

	KASSERT(tb->n < nitems(tb->tab),
	    ("%s: count too high %d", __func__, tb->n));
	tb->tab[tb->n] = td->td_tid;
	tb->n++;
}

static void
tidbatch_process(struct tidbatch *tb)