bsd/kern/pthread_support.c

102 static inline void __FAILEDUSERTEST__(const char *str)
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");
694 						__FAILEDUSERTEST__("psynch_mutexdrop_internal: prepost more than one (2)\n");
713 				__FAILEDUSERTEST__("psynch_mutexdrop_internal: prepost more than one (3)\n");
840 				__FAILEDUSERTEST__("psynch_mutexwait(prepost): returning 0 lseq  in mutexwait with no EBIT \n");
849 			__FAILEDUSERTEST__("psynch_mutexwait: more than one prepost\n");
924 			__FAILEDUSERTEST__("psynch_mutexwait: returning 0 lseq  in mutexwait with no EBIT \n");
995 		__FAILEDUSERTEST__("cvbroad: invalid L, U and S values\n");
999 		__FAILEDUSERTEST__("cvbroad: difference greater than maximum possible thread count\n");
1086 		__FAILEDUSERTEST__("psync_cvsignal; invalid sequence numbers\n");
1270 		__FAILEDUSERTEST__("psync_cvwait; invalid sequence numbers\n");
1320 			__FAILEDUSERTEST__("cvwait: thread entry with same sequence already present\n");
2792 					__FAILEDUSERTEST__("address already known to kernel for another (busy) synchronizer type\n");
2797 				__FAILEDUSERTEST__("address already known to kernel for another (busy) synchronizer type(1)\n");
2881 					__FAILEDUSERTEST__("address already known to kernel for another [busy] synchronizer type(2)\n");
2888 				__FAILEDUSERTEST__("address already known to kernel for another [busy] synchronizer type(3)\n");
3891 				__FAILEDUSERTEST__("ksyn_queue_insert: two threads with same lockseq ");
3896 			__FAILEDUSERTEST__("ksyn_queue_insert: two threads with same lockseq ");