bsd/kern/pthread_support.c

194 	uint32_t	ksynq_lastnum;		/* highest seq in queue */
3852 	kq->ksynq_lastnum = 0;
3866 		kq->ksynq_lastnum = lockseq;
3876 		if (is_seqhigher (lockseq, kq->ksynq_lastnum) != 0)
3877 			kq->ksynq_lastnum = lockseq;
3881 	if ((lockseq == kq->ksynq_firstnum) || (lockseq == kq->ksynq_lastnum)) {
3903 	if (is_seqlower(kq->ksynq_lastnum, lockseq) != 0) {
3905 		kq->ksynq_lastnum = lockseq;
3956 			kq->ksynq_lastnum = 0;
3985 			kq->ksynq_lastnum = (q_kwe->kwe_lockseq & PTHRW_COUNT_MASK);
3988 			kq->ksynq_lastnum = 0;
4218 			numbers[count]= kwq->kw_ksynqueues[i].ksynq_lastnum;