bsd/kern/pthread_support.c

221 	uint32_t kw_highseq;		/* highest seq in the queue */
604 		updatebits = (kwq->kw_highseq & PTHRW_COUNT_MASK) | (PTH_RWL_EBIT | PTH_RWL_KBIT);
833 				updatebits = (kwq->kw_highseq & PTHRW_COUNT_MASK) | (PTH_RWL_KBIT | PTH_RWL_EBIT);
3687 						kwq->kw_pre_intrseq = kwq->kw_highseq;
3961 			kwq->kw_highseq = 0;
3965 			if (kwq->kw_highseq == curseq)
3966 				kwq->kw_highseq = find_nexthighseq(kwq);
3995 			kwq->kw_highseq = 0;
3999 			if (kwq->kw_highseq == curseq)
4000 				kwq->kw_highseq = find_nexthighseq(kwq);
4173 		kwq->kw_highseq = lockseq;
4177 		if (is_seqhigher(lockseq, kwq->kw_highseq) != 0)
4178 			kwq->kw_highseq = lockseq;