216 	printf("io_setup(%u, NULL) = %s\n", 0xdeadbeef, sprintrc(rc));  in main()
219 	printf("io_setup(%u, %p) = %s\n", nr, ctx + 1, sprintrc(rc));  in main()
228 	       bogus_ctx, (long) 0xca7faceddeadf00dLL, sprintrc(rc));  in main()
232 	       *ctx, (long) nr, cbs + nr, sprintrc(rc));  in main()
236 	       *ctx, cbs, sprintrc(rc));  in main()
251 	       sprintrc(rc));  in main()
258 	       (long) 0xba5e1e505ca571e0LL, ev + 1, sprintrc(rc));  in main()
265 	       (long) 0xba5e1e505ca571e0LL, ts + 1, sprintrc(rc));  in main()
273 	       zero_extend_signed_to_ull(ts->tv_nsec), sprintrc(rc));  in main()
281 	       zero_extend_signed_to_ull(ts->tv_nsec), sprintrc(rc));  in main()
293 	       sprintrc(rc));  in main()
296 	printf("io_cancel(%#lx, NULL, NULL) = %s\n", bogus_ctx, sprintrc(rc));  in main()
300 	       sprintrc(rc));  in main()
306 	       *ctx, cbc->aio_data, ev, sprintrc(rc));  in main()
312 	       (long) 0xdeadc0defacefeedLL, sprintrc(rc));  in main()
316 	       *ctx, -1L, cbvs + nr, sprintrc(rc));  in main()
354 	puts(sprintrc(rc));  in main()
378 	       sprintrc(rc));  in main()
382 	       bogus_ctx, sprintrc(rc));  in main()
385 	printf("io_destroy(%#lx) = %s\n", *ctx, sprintrc(rc));  in main()