156 # define VAL_PR   ((unsigned) VAL)  macro
200 	       VAL_PR, (long long) tmout->tv_sec,  in main()
207 	       uaddr + 1, VAL_PR, (long long) tmout->tv_sec,  in main()
223 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
232 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
242 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
250 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
261 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
269 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
288 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
297 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
304 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
314 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
323 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
331 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
406 	printf("futex(%p, FUTEX_FD, %u) = %s\n", uaddr, VAL_PR, sprintrc(rc));  in main()
412 		VAL_PR, sprintrc(rc));  in main()
430 		uaddr, VAL_PR, VAL2_PR, uaddr2, sprintrc(rc));  in main()
441 		uaddr, VAL_PR, VAL2_PR, uaddr2, sprintrc(rc));  in main()
466 		uaddr, VAL_PR, VAL2_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
477 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
489 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
604 			       " = %s\n", uaddr, j ? "_PRIVATE" : "", VAL_PR,  in main()
716 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
723 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
730 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
738 	       uaddr, VAL_PR, (long long) tmout->tv_sec,  in main()
760 		uaddr, VAL_PR, VAL2_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
765 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
770 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
782 		uaddr, VAL_PR, tmout + 1, uaddr2 + 1, VAL3_PR, sprintrc(rc));  in main()
787 		uaddr, VAL_PR, tmout + 1, uaddr2, VAL3_PR, sprintrc(rc));  in main()