203 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
210 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
216 	       uaddr, 0xfacefeed, tmout + 1, sprintrc(rc));  in main()
226 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
235 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
245 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
253 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
264 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
272 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
292 	       sprintrc(rc));  in main()
300 	       sprintrc(rc));  in main()
308 	       zero_extend_signed_to_ull(tmout->tv_nsec), 0, sprintrc(rc));  in main()
316 	       sprintrc(rc));  in main()
326 	       sprintrc(rc));  in main()
334 	       zero_extend_signed_to_ull(tmout->tv_nsec), 0, sprintrc(rc));  in main()
343 	       sprintrc(rc));  in main()
357 	printf("futex(%p, FUTEX_WAKE, %u) = %s\n", uaddr, 0, sprintrc(rc));  in main()
361 	printf("futex(%p, FUTEX_WAKE, %u) = %s\n", uaddr, 10, sprintrc(rc));  in main()
367 		sprintrc(rc));  in main()
387 		VAL3_PR, sprintrc(rc));  in main()
392 		VAL3A_PR, sprintrc(rc));  in main()
398 		sprintrc(rc));  in main()
404 		10, VAL3_PR, sprintrc(rc));  in main()
421 	printf("futex(%p, FUTEX_FD, %u) = %s\n", uaddr, VAL_PR, sprintrc(rc));  in main()
427 		VAL_PR, sprintrc(rc));  in main()
445 		uaddr, VAL_PR, VAL2_PR, uaddr2, sprintrc(rc));  in main()
450 		uaddr, VALP_PR, VAL2P_PR, uaddr2, sprintrc(rc));  in main()
456 		uaddr, VAL_PR, VAL2_PR, uaddr2, sprintrc(rc));  in main()
461 		uaddr, VALP_PR, VAL2P_PR, uaddr2, sprintrc(rc));  in main()
481 		uaddr, VAL_PR, VAL2_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
486 		uaddr, VALP_PR, VAL2P_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
492 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
497 		uaddr, VALP_PR, VAL2P_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
504 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
509 		uaddr, VALP_PR, VAL2P_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
620 			       i, uaddr2, wake_ops[i].str, sprintrc(rc));  in main()
650 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
657 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
679 	printf("futex(%p, FUTEX_UNLOCK_PI) = %s\n", uaddr + 1, sprintrc(rc));  in main()
684 		sprintrc(rc));  in main()
701 	printf("futex(%p, FUTEX_TRYLOCK_PI) = %s\n", uaddr + 1, sprintrc(rc));  in main()
706 		sprintrc(rc));  in main()
732 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
739 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
746 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
754 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
775 		uaddr, VAL_PR, VAL2_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
780 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
785 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
797 		uaddr, VAL_PR, tmout + 1, uaddr2 + 1, VAL3_PR, sprintrc(rc));  in main()
802 		uaddr, VAL_PR, tmout + 1, uaddr2, VAL3_PR, sprintrc(rc));  in main()