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()
250 	       sprintrc(rc));  in main()
257 	       (long) 0xba5e1e505ca571e0LL, ev + 1, sprintrc(rc));  in main()
264 	       (long) 0xba5e1e505ca571e0LL, ts + 1, sprintrc(rc));  in main()
272 	       zero_extend_signed_to_ull(ts->tv_nsec), sprintrc(rc));  in main()
280 	       zero_extend_signed_to_ull(ts->tv_nsec), sprintrc(rc));  in main()
292 	       sprintrc(rc));  in main()
295 	printf("io_cancel(%#lx, NULL, NULL) = %s\n", bogus_ctx, sprintrc(rc));  in main()
299 	       sprintrc(rc));  in main()
304 	       *ctx, cbc->aio_data, ev, sprintrc(rc));  in main()
310 	       (long) 0xdeadc0defacefeedLL, sprintrc(rc));  in main()
314 	       *ctx, -1L, cbvs + nr, sprintrc(rc));  in main()
347 	       cbvs2[6], cbvs2 + 7, sprintrc(rc));  in main()
369 	       sprintrc(rc));  in main()
373 	       bogus_ctx, sprintrc(rc));  in main()
376 	printf("io_destroy(%#lx) = %s\n", *ctx, sprintrc(rc));  in main()