bsd/kern/pthread_support.c

193 	uint32_t	ksynq_firstnum;		/* lowest seq in queue */
222 	uint32_t kw_lowseq;		/* lowest seq in the queue */
321 int find_diff(uint32_t upto, uint32_t lowest);
512 int kwq_find_rw_lowest(ksyn_wait_queue_t kwq, int flags, uint32_t premgen, int * type, uint32_t lowest[]);
671 				//__FAILEDUSERTEST__("psynch_mutexdrop_internal: FS mutex unlock sequence higher than the lowest one is queue\n");
3171 /* lowest of kw_fr, kw_flr, kw_fwr, kw_fywr */
3173 kwq_find_rw_lowest(ksyn_wait_queue_t kwq, int flags, uint32_t premgen, int * typep, uint32_t lowest[])
3192 		lowest[KSYN_QUEUE_READ] = kw_fr;
3197 		lowest[KSYN_QUEUE_READ] = 0;
3209 		lowest[KSYN_QUEUE_LREAD] = kw_flr;
3214 		lowest[KSYN_QUEUE_LREAD] = 0;
3227 		lowest[KSYN_QUEUE_WRITER] = kw_fwr;
3232 		lowest[KSYN_QUEUE_WRITER] = 0;
3244 		lowest[KSYN_QUEUE_YWRITER] = kw_fywr;
3249 		lowest[KSYN_QUEUE_YWRITER] = 0;
3354 	uint32_t lowest[KSYN_QUEUE_MAX]; /* np need for upgrade as it is handled separately */
3413 	error = kwq_find_rw_lowest(kwq, flags, premgen, &rwtype, lowest);
3422 	low_reader = lowest[KSYN_QUEUE_READ];
3423 	low_lreader = lowest[KSYN_QUEUE_LREAD];
3424 	low_writer = lowest[KSYN_QUEUE_WRITER];
3425 	low_ywriter = lowest[KSYN_QUEUE_YWRITER];
3640 					/* is lowest reader less than the low writer? */
4187 	uint32_t lowest;
4198 	lowest = numbers[0];
4201 			if(is_seqlower(numbers[i] , lowest) != 0)
4202 				lowest = numbers[count];
4206 	return(lowest);
4284 find_diff(uint32_t upto, uint32_t lowest)
4288 	if (upto == lowest)
4291 	diff = diff_genseq(upto, lowest);
4293         if (is_seqlower(upto, lowest) != 0)
4294                 diff = diff_genseq(lowest, upto);
4296                 diff = diff_genseq(upto, lowest);