167 # define VAL3     ((unsigned long) 0xbadda7a09caffee1LLU)  macro
168 # define VAL3_PR  ((unsigned) VAL3)
197 	CHECK_FUTEX(NULL, FUTEX_WAIT, VAL, tmout, uaddr2, VAL3,  in main()
204 	CHECK_FUTEX(uaddr + 1, FUTEX_WAIT, VAL, tmout, uaddr2, VAL3,  in main()
211 	CHECK_FUTEX(uaddr, FUTEX_WAIT, VAL, tmout + 1, uaddr2, VAL3,  in main()
220 	CHECK_FUTEX(uaddr, FUTEX_WAIT, VAL, tmout, uaddr2, VAL3,  in main()
229 	CHECK_FUTEX(uaddr, FUTEX_WAIT, VAL, tmout, uaddr2, VAL3,  in main()
239 	CHECK_FUTEX(uaddr, FUTEX_WAIT, VAL, tmout, uaddr2 + 1, VAL3,  in main()
247 		uaddr2 + 1, VAL3, (rc == -1) && (errno == EAGAIN));  in main()
258 		VAL, tmout, uaddr2, VAL3, (rc == -1) && (errno == EAGAIN));  in main()
285 		VAL3, (rc == -1) && (errno == EAGAIN));  in main()
301 		tmout, uaddr2 + 1, VAL3, (rc == -1) && (errno == EAGAIN));  in main()
311 		tmout, uaddr2 + 1, VAL3, (rc == -1) && (errno == EAGAIN));  in main()
327 		FUTEX_WAIT_BITSET, VAL, tmout, uaddr2 + 1, VAL3,  in main()
375 		VAL3, (rc == 0));  in main()
387 		NULL, NULL, VAL3, (rc == 0));  in main()
404 	CHECK_FUTEX_ENOSYS(uaddr, FUTEX_FD, VAL, NULL, NULL, VAL3,  in main()
410 		NULL, VAL3, (rc == -1) && (errno == EINVAL));  in main()
427 	CHECK_FUTEX(uaddr, FUTEX_REQUEUE, VAL, VAL2, uaddr2, VAL3,  in main()
432 	CHECK_FUTEX(uaddr, FUTEX_REQUEUE, VALP, VAL2P, uaddr2, VAL3,  in main()
439 		uaddr2, VAL3, (rc == 0) || ((rc == -1) && (errno == EINVAL)));  in main()
444 		VAL2P, uaddr2, VAL3, (rc == 0));  in main()
463 	CHECK_FUTEX(uaddr, FUTEX_CMP_REQUEUE, VAL, VAL2, uaddr2, VAL3,  in main()
468 	CHECK_FUTEX(uaddr, FUTEX_CMP_REQUEUE, VALP, VAL2P, uaddr2, VAL3,  in main()
632 		VAL3, (rc == -1) && (errno == EFAULT));  in main()
638 		tmout, uaddr2 + 1, VAL3, (rc == -1) && (errno == EFAULT));  in main()
663 		VAL3, (rc == -1) && (errno == EFAULT));  in main()
667 		tmout, uaddr2 + 1, VAL3, (rc == -1) && (errno == EFAULT));  in main()
685 		VAL3, (rc == -1) && (errno == EFAULT));  in main()
689 		VAL, tmout, uaddr2 + 1, VAL3, (rc == -1) && (errno == EFAULT));  in main()
713 		VAL3, (rc == -1) && (errno == EAGAIN));  in main()
720 		VAL, tmout, uaddr2, VAL3, (rc == -1) && (errno == EAGAIN));  in main()
727 		VAL, tmout, uaddr2, VAL3, (rc == -1) && (errno == EAGAIN));  in main()
734 		FUTEX_WAIT_REQUEUE_PI, VAL, tmout, uaddr2, VAL3,  in main()
757 	CHECK_FUTEX_ENOSYS(uaddr, FUTEX_CMP_REQUEUE_PI, VAL, VAL2, uaddr2, VAL3,  in main()
779 	CHECK_FUTEX(uaddr, 0xd, VAL, tmout + 1, uaddr2 + 1, VAL3,  in main()
784 	CHECK_FUTEX(uaddr, 0xbefeeded, VAL, tmout + 1, uaddr2, VAL3,  in main()