487 	MPASS(tid >= sc->tids.tid_base);  in send_get_tcb()
488 	MPASS(tid - sc->tids.tid_base < sc->tids.ntids);  in send_get_tcb()
541 	MPASS(tid >= sc->tids.tid_base);  in add_tid_to_history()
542 	MPASS(tid - sc->tids.tid_base < sc->tids.ntids);  in add_tid_to_history()
592 	MPASS(tid >= sc->tids.tid_base);  in lookup_tcb_histent()
593 	MPASS(tid - sc->tids.tid_base < sc->tids.ntids);  in lookup_tcb_histent()
789 	MPASS(tid >= sc->tids.tid_base);  in read_tcb_using_memwin()
790 	MPASS(tid - sc->tids.tid_base < sc->tids.ntids);  in read_tcb_using_memwin()
1026 	struct tid_info *t = &sc->tids;  in insert_tid()
1038 	struct tid_info *t = &sc->tids;  in lookup_tid()
1046 	struct tid_info *t = &sc->tids;  in update_tid()
1054 	struct tid_info *t = &sc->tids;  in remove_tid()
1451 	struct tid_info *t = &sc->tids;  in alloc_tid_tab()
1468 	struct tid_info *t = &sc->tids;  in free_tid_tab()
1507 	if (sc->tids.ntids == 0 || sc->tids.ntids > 1024)  in alloc_tcb_history()
1510 	td->tcb_history = malloc(sc->tids.ntids * sizeof(*td->tcb_history),  in alloc_tcb_history()
1522 		for (i = 0; i < sc->tids.ntids; i++) {  in free_tcb_history()
2004 	struct tid_info *t = &sc->tids;  in stop_atids()
2065 	struct tid_info *t = &sc->tids;  in stop_tids()
2143 	struct tid_info *t = &sc->tids;  in t4_tom_stop()