bsd/kern/pthread_support.c

193 	uint32_t	ksynq_firstnum;		/* lowest seq in queue */
194 	uint32_t	ksynq_lastnum;		/* highest seq in queue */
221 	uint32_t kw_highseq;		/* highest seq in the queue */
222 	uint32_t kw_lowseq;		/* lowest seq in the queue */
226 	uint32_t kw_lastunlockseq;	/* the last seq that unlocked */
227 /* for CV to be used as the seq kernel has seen so far */
229 	uint32_t kw_lastseqword;		/* the last seq that unlocked */
231 	uint32_t kw_nextseqword;	/* the last seq that unlocked; with num of waiters */
235 	uint32_t kw_initcountseq;	/* highest seq with Ibit on for mutex and cvar*/
237 	uint32_t kw_pre_lockseq;	/* prepost target seq */
240 	uint32_t kw_pre_intrseq;	/*  prepost of missed wakeup limit seq */
281 #define PTH_RWS_SBIT	0x01	/* kernel transition seq not set yet*/
312 /* first contended seq that kernel sees */
513 ksyn_waitq_element_t ksyn_queue_find_seq(ksyn_wait_queue_t kwq, ksyn_queue_t kq, uint32_t seq, int remove);
630 				/* next seq to be granted found */
675 					/* next seq to be granted found */
690 					/* next seq to be granted not found, prepost */
1600 	/* preserve the seq number */
2239 	/* if lastunlock seq is set, ensure the current one is not lower than that, as it would be spurious */
2511 	/* if lastunlock seq is set, ensure the current one is not lower than that, as it would be spurious */
2568 	/* update if the new seq is higher than prev prepost, or first set */
3793 		/* increase the next expected seq by one */
3882 		/* During prepost when a thread is getting cancelled, we could have two with same seq */
3902 	/* check for next seq one */
4007 ksyn_queue_find_seq(ksyn_wait_queue_t kwq, ksyn_queue_t kq, uint32_t seq, int remove)
4011 	/* TBD: bail out if higher seq is seen */
4014 		if ((q_kwe->kwe_lockseq & PTHRW_COUNT_MASK) == seq) {
4360 			/* seq is lower */