193 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
200 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
206 	       uaddr, 0xfacefeed, tmout + 1, sprintrc(rc));  in main()
216 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
225 	       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()
243 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
254 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
262 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
282 	       sprintrc(rc));  in main()
290 	       zero_extend_signed_to_ull(tmout->tv_nsec), 0, sprintrc(rc));  in main()
298 	       sprintrc(rc));  in main()
308 	       sprintrc(rc));  in main()
316 	       zero_extend_signed_to_ull(tmout->tv_nsec), 0, sprintrc(rc));  in main()
325 	       sprintrc(rc));  in main()
339 	printf("futex(%p, FUTEX_WAKE, %u) = %s\n", uaddr, 0, sprintrc(rc));  in main()
343 	printf("futex(%p, FUTEX_WAKE, %u) = %s\n", uaddr, 10, sprintrc(rc));  in main()
349 		sprintrc(rc));  in main()
369 		VAL3_PR, sprintrc(rc));  in main()
375 		sprintrc(rc));  in main()
381 		10, VAL3_PR, sprintrc(rc));  in main()
398 	printf("futex(%p, FUTEX_FD, %u) = %s\n", uaddr, VAL_PR, sprintrc(rc));  in main()
404 		VAL_PR, sprintrc(rc));  in main()
422 		uaddr, VAL_PR, VAL2_PR, uaddr2, sprintrc(rc));  in main()
428 		uaddr, VAL_PR, VAL2_PR, uaddr2, sprintrc(rc));  in main()
448 		uaddr, VAL_PR, VAL2_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
454 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
460 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
552 			       i, uaddr2, wake_ops[i].str, sprintrc(rc));  in main()
582 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
589 	       zero_extend_signed_to_ull(tmout->tv_nsec), sprintrc(rc));  in main()
611 	printf("futex(%p, FUTEX_UNLOCK_PI) = %s\n", uaddr + 1, sprintrc(rc));  in main()
616 		sprintrc(rc));  in main()
633 	printf("futex(%p, FUTEX_TRYLOCK_PI) = %s\n", uaddr + 1, sprintrc(rc));  in main()
638 		sprintrc(rc));  in main()
664 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
671 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
678 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
686 	       zero_extend_signed_to_ull(tmout->tv_nsec), uaddr2, sprintrc(rc));  in main()
707 		uaddr, VAL_PR, VAL2_PR, uaddr2, VAL3_PR, sprintrc(rc));  in main()
712 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
717 		uaddr, VAL_PR, VAL2_PR, uaddr2, *uaddr, sprintrc(rc));  in main()
729 		uaddr, VAL_PR, tmout + 1, uaddr2 + 1, VAL3_PR, sprintrc(rc));  in main()
734 		uaddr, VAL_PR, tmout + 1, uaddr2, VAL3_PR, sprintrc(rc));  in main()