lwkt_getalltokens
lwkt_getalltokens(ntd, (ntd->td_contended > lwkt_spin_loops)))
lwkt_getalltokens(ntd, (ntd->td_contended > lwkt_spin_loops))) {
int lwkt_getalltokens(thread_t, int);