205 		printf(ARGS(alarm, "%u"), args->secs);  in linux_alarm()
240 		printf(ARGS(brk, "%p"), (void *)(uintptr_t)args->dsend);  in linux_brk()
276 		printf(ARGS(uselib, "%s"), library);  in linux_uselib()
526 		printf(ARGS(select, "%d, %p, %p, %p, %p"), args->nfds,  in linux_select()
619 		printf(ARGS(mremap, "%p, %08lx, %08lx, %08lx"),  in linux_mremap()
680 		printf(ARGS(time, "*"));  in linux_time()
723 		printf(ARGS(times, "*"));  in linux_times()
760 		printf(ARGS(newuname, "*"));  in linux_newuname()
800 		printf(ARGS(utime, "%s, *"), fname);  in linux_utime()
836 		printf(ARGS(utimes, "%s, *"), fname);  in linux_utimes()
881 		printf(ARGS(utimensat, "%d, *"), dfd);  in linux_utimensat()
965 		printf(ARGS(futimesat, "%s, *"), fname);  in linux_futimesat()
1020 		printf(ARGS(waitpid, "%d, %p, %d"),  in linux_waitpid()
1041 		printf(ARGS(wait4, "%d, %p, %d, %p"),  in linux_wait4()
1136 		printf(ARGS(mknod, "%s, %d, %ju"), path, args->mode,  in linux_mknod()
1187 		printf(ARGS(mknodat, "%s, %d, %d"), path, args->mode, args->dev);  in linux_mknodat()
1236 		printf(ARGS(personality, "%u"), args->per);  in linux_personality()
1270 		printf(ARGS(setitimer, "%p, %p"),  in linux_setitimer()
1308 		printf(ARGS(getitimer, "%p"), (void *)uap->itv);  in linux_getitimer()
1440 		printf(ARGS(setrlimit, "%d, %p"),  in linux_setrlimit()
1470 		printf(ARGS(old_getrlimit, "%d, %p"),  in linux_old_getrlimit()
1511 		printf(ARGS(getrlimit, "%d, %p"),  in linux_getrlimit()
1539 		printf(ARGS(sched_setscheduler, "%d, %d, %p"),  in linux_sched_setscheduler()
1579 		printf(ARGS(sched_getscheduler, "%d"), args->pid);  in linux_sched_getscheduler()
1611 		printf(ARGS(sched_get_priority_max, "%d"), args->policy);  in linux_sched_get_priority_max()
1638 		printf(ARGS(sched_get_priority_min, "%d"), args->policy);  in linux_sched_get_priority_min()
1675 		printf(ARGS(reboot, "0x%x"), args->cmd);  in linux_reboot()
1717 		printf(ARGS(getpid, ""));  in linux_getpid()
1731 		printf(ARGS(gettid, ""));  in linux_gettid()
1749 		printf(ARGS(getppid, ""));  in linux_getppid()
1762 		printf(ARGS(getgid, ""));  in linux_getgid()
1775 		printf(ARGS(getuid, ""));  in linux_getuid()
1790 		printf(ARGS(getsid, "%i"), args->pid);  in linux_getsid()
1812 		printf(ARGS(getpriority, "%i, %i"), args->which, args->who);  in linux_getpriority()
1829 		printf(ARGS(sethostname, "*, %i"), args->len);  in linux_sethostname()
1845 		printf(ARGS(setdomainname, "*, %i"), args->len);  in linux_setdomainname()
1860 		printf(ARGS(exit_group, "%i"), args->error_code);  in linux_exit_group()
2010 		printf(ARGS(prctl, "%d, %ju, %ju, %ju, %ju"), args->option,  in linux_prctl()
2102 		printf(ARGS(sched_setparam, "%d, *"), uap->pid);  in linux_sched_setparam()
2128 		printf(ARGS(sched_getparam, "%d, *"), uap->pid);  in linux_sched_getparam()
2155 		printf(ARGS(sched_getaffinity, "%d, %d, *"), args->pid,  in linux_sched_getaffinity()
2186 		printf(ARGS(sched_setaffinity, "%d, %d, *"), args->pid,  in linux_sched_setaffinity()
2219 		printf(ARGS(prlimit64, "%d, %d, %p, %p"), args->pid,  in linux_prlimit64()