bsd/kern/pthread_support.c

487 uint32_t psynch_mutexdrop_internal(ksyn_wait_queue_t kwq, uint32_t lkseq, uint32_t ugen, int flags);
586 psynch_mutexdrop_internal(ksyn_wait_queue_t kwq, uint32_t lkseq, uint32_t ugen, int flags)
620 				panic("psynch_mutexdrop_internal: panic unable to wakeup firstfit mutex thread\n");
644 					panic("psynch_mutexdrop_internal: panic unable to wakeup fairshare mutex thread\n");
661 					__FAILEDUSERTEST__("psynch_mutexdrop_internal: prepost more than one (1)\n");
671 				//__FAILEDUSERTEST__("psynch_mutexdrop_internal: FS mutex unlock sequence higher than the lowest one is queue\n");
685 						panic("psynch_mutexdrop_internal: panic unable to wakeup fairshare mutex thread\n");
694 						__FAILEDUSERTEST__("psynch_mutexdrop_internal: prepost more than one (2)\n");
713 				__FAILEDUSERTEST__("psynch_mutexdrop_internal: prepost more than one (3)\n");
954 	updateval = psynch_mutexdrop_internal(kwq, mgen, ugen, flags);
1294 		(void)psynch_mutexdrop_internal(kwq, mgen, ugen, flags);