check_syscall_args
check_syscall_args(aoutm68k_compat_43_sys_stat)
check_syscall_args(aoutm68k_compat_43_sys_lstat)
check_syscall_args(aoutm68k_compat_43_sys_fstat)
#undef check_syscall_args
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(aoutm68k_compat_12_sys_stat)
check_syscall_args(aoutm68k_compat_12_sys_fstat)
check_syscall_args(aoutm68k_compat_12_sys_lstat)
check_syscall_args(aoutm68k_sys___stat13)
check_syscall_args(aoutm68k_sys___fstat13)
check_syscall_args(aoutm68k_sys___lstat13)
check_syscall_args(freebsd_sys_ioctl)
check_syscall_args(freebsd_sys_msync)
check_syscall_args(freebsd_sys_sigreturn)
#undef check_syscall_args
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(freebsd_sys_rtprio)
check_syscall_args(freebsd_sys_semsys)
check_syscall_args(freebsd_sys_msgsys)
check_syscall_args(freebsd_sys_shmsys)
check_syscall_args(freebsd_ntp_adjtime)
check_syscall_args(freebsd_sys_mmap)
check_syscall_args(freebsd_sys_sysctl)
check_syscall_args(freebsd_sys_undelete)
check_syscall_args(freebsd_sys_rfork)
check_syscall_args(freebsd_sys_sched_setparam)
check_syscall_args(freebsd_sys_sched_getparam)
check_syscall_args(freebsd_sys_sched_setscheduler)
check_syscall_args(freebsd_sys_sched_getscheduler)
check_syscall_args(freebsd_sys_sched_get_priority_max)
check_syscall_args(freebsd_sys_sched_get_priority_min)
check_syscall_args(freebsd_sys_utrace)
check_syscall_args(freebsd_sys_mount)
check_syscall_args(freebsd_sys_ptrace)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_memfd_create)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_getdents64)
#undef check_syscall_args
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_semctl)
check_syscall_args(linux_sys_semtimedop)
check_syscall_args(linux_sys_socket)
check_syscall_args(linux_sys_socketpair)
check_syscall_args(linux_sys_bind)
check_syscall_args(linux_sys_accept)
check_syscall_args(linux_sys_connect)
check_syscall_args(linux_sys_getsockname)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_getpeername)
check_syscall_args(linux_sys_sendto)
check_syscall_args(linux_sys_recvfrom)
check_syscall_args(linux_sys_setsockopt)
check_syscall_args(linux_sys_getsockopt)
check_syscall_args(linux_sys_sendmsg)
check_syscall_args(linux_sys_recvmsg)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_semtimedop)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_osf1_set_program_attributes)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_sigpending)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_stat)
check_syscall_args(linux_sys_lstat)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_osf1_setitimer)
check_syscall_args(linux_sys_fstat)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_osf1_select)
check_syscall_args(linux_sys_socket)
check_syscall_args(linux_sys_connect)
check_syscall_args(linux_sys_accept)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_send)
check_syscall_args(linux_sys_recv)
check_syscall_args(linux_sys_sigreturn)
check_syscall_args(linux_sys_bind)
check_syscall_args(linux_sys_setsockopt)
check_syscall_args(linux_sys_sigsuspend)
check_syscall_args(linux_sys_recvmsg)
check_syscall_args(linux_sys_sendmsg)
#undef check_syscall_args
check_syscall_args(linux_sys_osf1_gettimeofday)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_osf1_getrusage)
check_syscall_args(linux_sys_getsockopt)
check_syscall_args(linux_sys_osf1_settimeofday)
check_syscall_args(linux_sys_recvfrom)
check_syscall_args(linux_sys_sendto)
check_syscall_args(linux_sys_socketpair)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_osf1_utimes)
check_syscall_args(linux_sys_getpeername)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getsockname)
check_syscall_args(linux_sys_sigaction)
check_syscall_args(linux_sys_osf1_statfs)
check_syscall_args(linux_sys_osf1_fstatfs)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_ugetrlimit)
check_syscall_args(linux_sys_olduname)
check_syscall_args(linux_sys_osf1_sysinfo)
check_syscall_args(linux_sys_osf1_usleep_thread)
check_syscall_args(linux_sys_osf1_getsysinfo)
check_syscall_args(linux_sys_osf1_wait4)
check_syscall_args(linux_sys_osf1_setsysinfo)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_uselib)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_rt_sigreturn)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_osf1_mount)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_memfd_create)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_pipe)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_alarm)
check_syscall_args(linux_sys_socket)
check_syscall_args(linux_sys_connect)
check_syscall_args(linux_sys_accept)
check_syscall_args(linux_sys_sendto)
check_syscall_args(linux_sys_recvfrom)
check_syscall_args(linux_sys_sendmsg)
check_syscall_args(linux_sys_recvmsg)
check_syscall_args(linux_sys_bind)
check_syscall_args(linux_sys_getsockname)
check_syscall_args(linux_sys_getpeername)
check_syscall_args(linux_sys_socketpair)
check_syscall_args(linux_sys_setsockopt)
check_syscall_args(linux_sys_getsockopt)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_wait4)
#undef check_syscall_args
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_uname)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_semctl)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_utime)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_uselib)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_modify_ldt)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_arch_prctl)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_iopl)
check_syscall_args(linux_sys_ioperm)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_time)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_semtimedop)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_statfs64)
check_syscall_args(linux_sys_fstatfs64)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_fadvise64_64)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_stime)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_semtimedop)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_alarm)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_utime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_nice)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_cacheflush)
check_syscall_args(linux_sys_set_tls)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_pipe)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_signal)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_oldolduname)
check_syscall_args(linux_sys_sigaction)
check_syscall_args(linux_sys_sigsetmask)
check_syscall_args(linux_sys_setreuid16)
check_syscall_args(linux_sys_setregid16)
check_syscall_args(linux_sys_sigsuspend)
check_syscall_args(linux_sys_sigpending)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_getgroups16)
check_syscall_args(linux_sys_setgroups16)
check_syscall_args(linux_sys_oldselect)
check_syscall_args(linux_sys_uselib)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_readdir)
check_syscall_args(linux_sys_old_mmap)
#undef check_syscall_args
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_fchown16)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_socketcall)
check_syscall_args(linux_sys_stat)
check_syscall_args(linux_sys_lstat)
check_syscall_args(linux_sys_fstat)
check_syscall_args(linux_sys_olduname)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_ipc)
check_syscall_args(linux_sys_sigreturn)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_sigprocmask)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_llseek)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_setresuid16)
check_syscall_args(linux_sys_getresuid16)
check_syscall_args(linux_sys_setresgid16)
check_syscall_args(linux_sys_waitpid)
check_syscall_args(linux_sys_getresgid16)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_chown16)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_fcntl64)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_time)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_lchown16)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_break)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_statfs64)
check_syscall_args(linux_sys_fstatfs64)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_fadvise64_64)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_stime)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_alarm)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_utime)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_memfd_create)
check_syscall_args(linux_sys_nice)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_pipe)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_signal)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_oldolduname)
check_syscall_args(linux_sys_sigaction)
check_syscall_args(linux_sys_sigsetmask)
check_syscall_args(linux_sys_setreuid16)
check_syscall_args(linux_sys_setregid16)
check_syscall_args(linux_sys_sigsuspend)
check_syscall_args(linux_sys_sigpending)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_getgroups16)
check_syscall_args(linux_sys_setgroups16)
check_syscall_args(linux_sys_oldselect)
check_syscall_args(linux_sys_uselib)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_readdir)
#undef check_syscall_args
check_syscall_args(linux_sys_old_mmap)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_fchown16)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_ioperm)
check_syscall_args(linux_sys_socketcall)
check_syscall_args(linux_sys_stat)
check_syscall_args(linux_sys_lstat)
check_syscall_args(linux_sys_fstat)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_olduname)
check_syscall_args(linux_sys_iopl)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_ipc)
check_syscall_args(linux_sys_sigreturn)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_modify_ldt)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_sigprocmask)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_llseek)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_waitpid)
check_syscall_args(linux_sys_setresuid16)
check_syscall_args(linux_sys_getresuid16)
check_syscall_args(linux_sys_setresgid16)
check_syscall_args(linux_sys_getresgid16)
check_syscall_args(linux_sys_rt_sigreturn)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_chown16)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_fcntl64)
check_syscall_args(linux_sys_time)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_set_thread_area)
check_syscall_args(linux_sys_get_thread_area)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_lchown16)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_statfs64)
check_syscall_args(linux_sys_fstatfs64)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_fadvise64_64)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_stime)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_alarm)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_utime)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_nice)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_pipe)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_signal)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_sigaction)
check_syscall_args(linux_sys_sigsetmask)
check_syscall_args(linux_sys_setreuid16)
check_syscall_args(linux_sys_setregid16)
check_syscall_args(linux_sys_sigsuspend)
check_syscall_args(linux_sys_sigpending)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_getgroups16)
check_syscall_args(linux_sys_setgroups16)
check_syscall_args(linux_sys_oldselect)
check_syscall_args(linux_sys_uselib)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_readdir)
#undef check_syscall_args
check_syscall_args(linux_sys_old_mmap)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_fchown16)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_socketcall)
check_syscall_args(linux_sys_stat)
check_syscall_args(linux_sys_lstat)
check_syscall_args(linux_sys_fstat)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_ipc)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_cacheflush)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_sigprocmask)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_llseek)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_setresuid16)
check_syscall_args(linux_sys_getresuid16)
check_syscall_args(linux_sys_setresgid16)
check_syscall_args(linux_sys_waitpid)
check_syscall_args(linux_sys_getresgid16)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_lchown16)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_time)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_fcntl64)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_chown16)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_statfs64)
check_syscall_args(linux_sys_fstatfs64)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_stime)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_set_thread_area)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_alarm)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_utime)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_nice)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_memfd_create)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_pipe)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_signal)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_olduname)
check_syscall_args(linux_sys_sigaction)
check_syscall_args(linux_sys_sigsetmask)
check_syscall_args(linux_sys_sigsuspend)
check_syscall_args(linux_sys_sigpending)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_readdir)
check_syscall_args(linux_sys_getpriority)
check_syscall_args(linux_sys_statfs)
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_ioperm)
#undef check_syscall_args
check_syscall_args(linux_sys_socketcall)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_stat)
check_syscall_args(linux_sys_lstat)
check_syscall_args(linux_sys_fstat)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_ipc)
check_syscall_args(linux_sys_sigreturn)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_new_uname)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_sigprocmask)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_llseek)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_cacheflush)
check_syscall_args(linux_sys_sysmips)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_accept)
check_syscall_args(linux_sys_bind)
check_syscall_args(linux_sys_connect)
check_syscall_args(linux_sys_getpeername)
check_syscall_args(linux_sys_getsockname)
check_syscall_args(linux_sys_getsockopt)
check_syscall_args(linux_sys_waitpid)
check_syscall_args(linux_sys_recv)
check_syscall_args(linux_sys_recvfrom)
check_syscall_args(linux_sys_recvmsg)
check_syscall_args(linux_sys_send)
check_syscall_args(linux_sys_sendmsg)
check_syscall_args(linux_sys_sendto)
check_syscall_args(linux_sys_setsockopt)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys_socket)
check_syscall_args(linux_sys_socketpair)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_rt_sigreturn)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_time)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_fcntl64)
check_syscall_args(linux_sys_readahead)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_mq_notify)
check_syscall_args(linux_sys_mq_getsetattr)
check_syscall_args(linux_sys_waitid)
check_syscall_args(linux_sys_stime)
check_syscall_args(linux_sys_inotify_add_watch)
check_syscall_args(linux_sys_inotify_rm_watch)
check_syscall_args(linux_sys_pselect6)
check_syscall_args(linux_sys_ppoll)
check_syscall_args(linux_sys_openat)
check_syscall_args(linux_sys_mknodat)
check_syscall_args(linux_sys_fchownat)
check_syscall_args(linux_sys_fstatat64)
check_syscall_args(linux_sys_unlinkat)
check_syscall_args(linux_sys_ptrace)
check_syscall_args(linux_sys_linkat)
check_syscall_args(linux_sys_fchmodat)
check_syscall_args(linux_sys_faccessat)
check_syscall_args(linux_sys_getcpu)
check_syscall_args(linux_sys_epoll_pwait)
check_syscall_args(linux_sys_utimensat)
check_syscall_args(linux_sys_alarm)
check_syscall_args(linux_sys_timerfd_create)
check_syscall_args(linux_sys_eventfd)
check_syscall_args(linux_sys_sync_file_range)
check_syscall_args(linux_sys_fallocate)
check_syscall_args(linux_sys_timerfd_settime)
check_syscall_args(linux_sys_timerfd_gettime)
check_syscall_args(linux_sys_eventfd2)
check_syscall_args(linux_sys_epoll_create1)
check_syscall_args(linux_sys_dup3)
check_syscall_args(linux_sys_utime)
check_syscall_args(linux_sys_pipe2)
check_syscall_args(linux_sys_inotify_init1)
check_syscall_args(linux_sys_preadv)
check_syscall_args(linux_sys_pwritev)
check_syscall_args(linux_sys_prlimit64)
check_syscall_args(linux_sys_recvmmsg)
check_syscall_args(linux_sys_accept4)
check_syscall_args(linux_sys_syncfs)
check_syscall_args(linux_sys_sendmmsg)
check_syscall_args(linux_sys_nice)
check_syscall_args(linux_sys_renameat2)
check_syscall_args(linux_sys_copy_file_range)
check_syscall_args(linux_sys_statx)
check_syscall_args(linux_sys_clone3)
check_syscall_args(linux_sys_close_range)
check_syscall_args(linux_sys_faccessat2)
check_syscall_args(linux_sys_kill)
check_syscall_args(linux_sys_pipe)
check_syscall_args(linux_sys_times)
check_syscall_args(linux_sys_brk)
check_syscall_args(linux_sys_signal)
check_syscall_args(linux_sys_ioctl)
check_syscall_args(linux_sys_fcntl)
check_syscall_args(linux_sys_olduname)
check_syscall_args(linux_sys_sigaction)
check_syscall_args(linux_sys_sigsetmask)
check_syscall_args(linux_sys_sigsuspend)
check_syscall_args(linux_sys_sigpending)
check_syscall_args(linux_sys_setrlimit)
check_syscall_args(linux_sys_getrlimit)
check_syscall_args(linux_sys_gettimeofday)
check_syscall_args(linux_sys_settimeofday)
check_syscall_args(linux_sys_select)
check_syscall_args(linux_sys_uselib)
check_syscall_args(linux_sys_swapon)
check_syscall_args(linux_sys_reboot)
check_syscall_args(linux_sys_readdir)
check_syscall_args(linux_sys_getpriority)
#undef check_syscall_args
check_syscall_args(linux_sys_statfs)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux_sys_fstatfs)
check_syscall_args(linux_sys_socketcall)
check_syscall_args(linux_sys_stat)
check_syscall_args(linux_sys_lstat)
check_syscall_args(linux_sys_fstat)
check_syscall_args(linux_sys_uname)
check_syscall_args(linux_sys_wait4)
check_syscall_args(linux_sys_swapoff)
check_syscall_args(linux_sys_sysinfo)
check_syscall_args(linux_sys_ipc)
check_syscall_args(linux_sys_sigreturn)
check_syscall_args(linux_sys_exit)
check_syscall_args(linux_sys_clone)
check_syscall_args(linux_sys_setdomainname)
check_syscall_args(linux_sys_new_uname)
check_syscall_args(linux_sys_mprotect)
check_syscall_args(linux_sys_sigprocmask)
check_syscall_args(linux_sys_personality)
check_syscall_args(linux_sys_setfsuid)
check_syscall_args(linux_sys_setfsgid)
check_syscall_args(linux_sys_llseek)
check_syscall_args(linux_sys_getdents)
check_syscall_args(linux_sys_new_select)
check_syscall_args(linux_sys_fdatasync)
check_syscall_args(linux_sys___sysctl)
check_syscall_args(linux_sys_sched_setparam)
check_syscall_args(linux_sys_open)
check_syscall_args(linux_sys_sched_getparam)
check_syscall_args(linux_sys_sched_setscheduler)
check_syscall_args(linux_sys_sched_getscheduler)
check_syscall_args(linux_sys_sched_get_priority_max)
check_syscall_args(linux_sys_sched_get_priority_min)
check_syscall_args(linux_sys_nanosleep)
check_syscall_args(linux_sys_mremap)
check_syscall_args(linux_sys_setresuid)
check_syscall_args(linux_sys_getresuid)
check_syscall_args(linux_sys_setresgid)
check_syscall_args(linux_sys_getresgid)
check_syscall_args(linux_sys_rt_sigreturn)
check_syscall_args(linux_sys_rt_sigaction)
check_syscall_args(linux_sys_waitpid)
check_syscall_args(linux_sys_rt_sigprocmask)
check_syscall_args(linux_sys_rt_sigpending)
check_syscall_args(linux_sys_rt_sigtimedwait)
check_syscall_args(linux_sys_rt_queueinfo)
check_syscall_args(linux_sys_rt_sigsuspend)
check_syscall_args(linux_sys_pread)
check_syscall_args(linux_sys_pwrite)
check_syscall_args(linux_sys_sigaltstack)
check_syscall_args(linux_sys_creat)
check_syscall_args(linux_sys_ugetrlimit)
check_syscall_args(linux_sys_truncate64)
check_syscall_args(linux_sys_ftruncate64)
check_syscall_args(linux_sys_stat64)
check_syscall_args(linux_sys_lstat64)
check_syscall_args(linux_sys_fstat64)
check_syscall_args(linux_sys_getdents64)
check_syscall_args(linux_sys_fcntl64)
check_syscall_args(linux_sys_tkill)
check_syscall_args(linux_sys_unlink)
check_syscall_args(linux_sys_setxattr)
check_syscall_args(linux_sys_lsetxattr)
check_syscall_args(linux_sys_fsetxattr)
check_syscall_args(linux_sys_getxattr)
check_syscall_args(linux_sys_lgetxattr)
check_syscall_args(linux_sys_fgetxattr)
check_syscall_args(linux_sys_listxattr)
check_syscall_args(linux_sys_llistxattr)
check_syscall_args(linux_sys_flistxattr)
check_syscall_args(linux_sys_removexattr)
check_syscall_args(linux_sys_lremovexattr)
check_syscall_args(linux_sys_fremovexattr)
check_syscall_args(linux_sys_time)
check_syscall_args(linux_sys_futex)
check_syscall_args(linux_sys_sched_setaffinity)
check_syscall_args(linux_sys_sched_getaffinity)
check_syscall_args(linux_sys_set_tid_address)
check_syscall_args(linux_sys_fadvise64)
check_syscall_args(linux_sys_exit_group)
check_syscall_args(linux_sys_epoll_create)
check_syscall_args(linux_sys_epoll_ctl)
check_syscall_args(linux_sys_epoll_wait)
check_syscall_args(linux_sys_timer_create)
check_syscall_args(linux_sys_mknod)
check_syscall_args(linux_sys_timer_settime)
check_syscall_args(linux_sys_timer_gettime)
check_syscall_args(linux_sys_clock_settime)
check_syscall_args(linux_sys_clock_gettime)
check_syscall_args(linux_sys_clock_getres)
check_syscall_args(linux_sys_clock_nanosleep)
check_syscall_args(linux_sys_tgkill)
check_syscall_args(linux_sys_statfs64)
check_syscall_args(linux_sys_fstatfs64)
check_syscall_args(linux_sys_fadvise64_64)
check_syscall_args(linux_sys_mq_open)
check_syscall_args(linux_sys_mq_unlink)
check_syscall_args(linux_sys_mq_timedsend)
check_syscall_args(linux_sys_mq_timedreceive)
check_syscall_args(linux32_sys_faccessat)
check_syscall_args(linux32_sys_pselect6)
check_syscall_args(linux32_sys_ppoll)
check_syscall_args(linux32_sys_utimensat)
check_syscall_args(linux32_sys_eventfd)
check_syscall_args(linux32_sys_fallocate)
check_syscall_args(linux32_sys_timerfd_settime)
check_syscall_args(linux32_sys_timerfd_gettime)
check_syscall_args(linux32_sys_eventfd2)
check_syscall_args(linux32_sys_stime)
check_syscall_args(linux32_sys_dup3)
check_syscall_args(linux32_sys_pipe2)
check_syscall_args(linux32_sys_preadv)
check_syscall_args(linux32_sys_pwritev)
check_syscall_args(linux32_sys_prlimit64)
check_syscall_args(linux32_sys_statx)
check_syscall_args(linux32_sys_ptrace)
check_syscall_args(linux32_sys_alarm)
check_syscall_args(linux32_sys_utime)
check_syscall_args(linux32_sys_nice)
check_syscall_args(linux32_sys_kill)
check_syscall_args(linux32_sys_pipe)
check_syscall_args(linux32_sys_times)
check_syscall_args(linux32_sys_brk)
check_syscall_args(linux32_sys_signal)
check_syscall_args(linux32_sys_ioctl)
check_syscall_args(linux32_sys_fcntl)
check_syscall_args(linux32_sys_oldolduname)
check_syscall_args(linux32_sys_sigsetmask)
check_syscall_args(linux32_sys_setreuid16)
check_syscall_args(linux32_sys_setregid16)
check_syscall_args(linux32_sys_setrlimit)
check_syscall_args(linux32_sys_getrlimit)
check_syscall_args(linux32_sys_gettimeofday)
check_syscall_args(linux32_sys_settimeofday)
check_syscall_args(linux32_sys_getgroups16)
check_syscall_args(linux32_sys_setgroups16)
check_syscall_args(linux32_sys_oldselect)
check_syscall_args(linux32_sys_swapon)
check_syscall_args(linux32_sys_reboot)
check_syscall_args(linux32_sys_readdir)
check_syscall_args(linux32_sys_old_mmap)
check_syscall_args(linux32_sys_fchown16)
check_syscall_args(linux32_sys_getpriority)
#undef check_syscall_args
check_syscall_args(linux32_sys_statfs)
check_syscall_args(linux32_sys_fstatfs)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux32_sys_socketcall)
check_syscall_args(linux32_sys_stat)
check_syscall_args(linux32_sys_lstat)
check_syscall_args(linux32_sys_fstat)
check_syscall_args(linux32_sys_olduname)
check_syscall_args(linux32_sys_wait4)
check_syscall_args(linux32_sys_swapoff)
check_syscall_args(linux32_sys_sysinfo)
check_syscall_args(linux32_sys_ipc)
check_syscall_args(linux32_sys_sigreturn)
check_syscall_args(linux32_sys_exit)
check_syscall_args(linux32_sys_clone)
check_syscall_args(linux32_sys_setdomainname)
check_syscall_args(linux32_sys_uname)
check_syscall_args(linux32_sys_mprotect)
check_syscall_args(linux32_sys_personality)
check_syscall_args(linux32_sys_llseek)
check_syscall_args(linux32_sys_getdents)
check_syscall_args(linux32_sys_select)
check_syscall_args(linux32_sys_fdatasync)
check_syscall_args(linux32_sys___sysctl)
check_syscall_args(linux32_sys_sched_setparam)
check_syscall_args(linux32_sys_sched_getparam)
check_syscall_args(linux32_sys_sched_setscheduler)
check_syscall_args(linux32_sys_open)
check_syscall_args(linux32_sys_sched_getscheduler)
check_syscall_args(linux32_sys_sched_get_priority_max)
check_syscall_args(linux32_sys_sched_get_priority_min)
check_syscall_args(linux32_sys_nanosleep)
check_syscall_args(linux32_sys_mremap)
check_syscall_args(linux32_sys_setresuid16)
check_syscall_args(linux32_sys_getresuid16)
check_syscall_args(linux32_sys_setresgid16)
check_syscall_args(linux32_sys_getresgid16)
check_syscall_args(linux32_sys_rt_sigreturn)
check_syscall_args(linux32_sys_rt_sigaction)
check_syscall_args(linux32_sys_rt_sigprocmask)
check_syscall_args(linux32_sys_rt_sigpending)
check_syscall_args(linux32_sys_rt_sigtimedwait)
check_syscall_args(linux32_sys_waitpid)
check_syscall_args(linux32_sys_rt_queueinfo)
check_syscall_args(linux32_sys_rt_sigsuspend)
check_syscall_args(linux32_sys_pread)
check_syscall_args(linux32_sys_pwrite)
check_syscall_args(linux32_sys_chown16)
check_syscall_args(linux32_sys_ugetrlimit)
check_syscall_args(linux32_sys_mmap2)
check_syscall_args(linux32_sys_creat)
check_syscall_args(linux32_sys_truncate64)
check_syscall_args(linux32_sys_ftruncate64)
check_syscall_args(linux32_sys_stat64)
check_syscall_args(linux32_sys_lstat64)
check_syscall_args(linux32_sys_fstat64)
check_syscall_args(linux32_sys_setresuid)
check_syscall_args(linux32_sys_getresuid)
check_syscall_args(linux32_sys_setresgid)
check_syscall_args(linux32_sys_getresgid)
check_syscall_args(linux32_sys_unlink)
check_syscall_args(linux32_sys_setfsuid)
check_syscall_args(linux32_sys_setfsgid)
check_syscall_args(linux32_sys_tkill)
check_syscall_args(linux32_sys_futex)
check_syscall_args(linux32_sys_sched_setaffinity)
check_syscall_args(linux32_sys_sched_getaffinity)
check_syscall_args(linux32_sys_exit_group)
check_syscall_args(linux32_sys_time)
check_syscall_args(linux32_sys_set_tid_address)
check_syscall_args(linux32_sys_timer_create)
check_syscall_args(linux32_sys_timer_settime)
check_syscall_args(linux32_sys_timer_gettime)
check_syscall_args(linux32_sys_clock_settime)
check_syscall_args(linux32_sys_clock_gettime)
check_syscall_args(linux32_sys_clock_getres)
check_syscall_args(linux32_sys_clock_nanosleep)
check_syscall_args(linux32_sys_statfs64)
check_syscall_args(linux32_sys_fstatfs64)
check_syscall_args(linux32_sys_mknod)
check_syscall_args(linux32_sys_tgkill)
check_syscall_args(linux32_sys_fadvise64_64)
check_syscall_args(linux32_sys_openat)
check_syscall_args(linux32_sys_mknodat)
check_syscall_args(linux32_sys_fchownat)
check_syscall_args(linux32_sys_fstatat64)
check_syscall_args(linux32_sys_unlinkat)
check_syscall_args(linux32_sys_lchown16)
check_syscall_args(linux32_sys_linkat)
check_syscall_args(linux32_sys_fchmodat)
check_syscall_args(linux32_sys_fchmodat)
check_syscall_args(linux32_sys_faccessat)
check_syscall_args(linux32_sys_pselect6)
check_syscall_args(linux32_sys_ppoll)
check_syscall_args(linux32_sys_break)
check_syscall_args(linux32_sys_utimensat)
check_syscall_args(linux32_sys_eventfd)
check_syscall_args(linux32_sys_fallocate)
check_syscall_args(linux32_sys_timerfd_settime)
check_syscall_args(linux32_sys_timerfd_gettime)
check_syscall_args(linux32_sys_eventfd2)
check_syscall_args(linux32_sys_dup3)
check_syscall_args(linux32_sys_pipe2)
check_syscall_args(linux32_sys_preadv)
check_syscall_args(linux32_sys_pwritev)
check_syscall_args(linux32_sys_stime)
check_syscall_args(linux32_sys_ptrace)
check_syscall_args(linux32_sys_alarm)
check_syscall_args(linux32_sys_utime)
check_syscall_args(linux32_sys_nice)
check_syscall_args(linux32_sys_kill)
check_syscall_args(linux32_sys_pipe)
check_syscall_args(linux32_sys_times)
check_syscall_args(linux32_sys_brk)
check_syscall_args(linux32_sys_signal)
check_syscall_args(linux32_sys_ioctl)
check_syscall_args(linux32_sys_fcntl)
check_syscall_args(linux32_sys_oldolduname)
check_syscall_args(linux32_sys_sigsetmask)
check_syscall_args(linux32_sys_setreuid16)
check_syscall_args(linux32_sys_setregid16)
check_syscall_args(linux32_sys_setrlimit)
check_syscall_args(linux32_sys_getrlimit)
check_syscall_args(linux32_sys_gettimeofday)
check_syscall_args(linux32_sys_settimeofday)
check_syscall_args(linux32_sys_getgroups16)
check_syscall_args(linux32_sys_setgroups16)
check_syscall_args(linux32_sys_oldselect)
check_syscall_args(linux32_sys_swapon)
check_syscall_args(linux32_sys_reboot)
check_syscall_args(linux32_sys_readdir)
check_syscall_args(linux32_sys_old_mmap)
check_syscall_args(linux32_sys_fchown16)
check_syscall_args(linux32_sys_getpriority)
#undef check_syscall_args
check_syscall_args(linux32_sys_statfs)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(linux32_sys_fstatfs)
check_syscall_args(linux32_sys_socketcall)
check_syscall_args(linux32_sys_stat)
check_syscall_args(linux32_sys_lstat)
check_syscall_args(linux32_sys_fstat)
check_syscall_args(linux32_sys_olduname)
check_syscall_args(linux32_sys_wait4)
check_syscall_args(linux32_sys_swapoff)
check_syscall_args(linux32_sys_sysinfo)
check_syscall_args(linux32_sys_ipc)
check_syscall_args(linux32_sys_exit)
check_syscall_args(linux32_sys_sigreturn)
check_syscall_args(linux32_sys_clone)
check_syscall_args(linux32_sys_setdomainname)
check_syscall_args(linux32_sys_uname)
check_syscall_args(linux32_sys_modify_ldt)
check_syscall_args(linux32_sys_mprotect)
check_syscall_args(linux32_sys_personality)
check_syscall_args(linux32_sys_llseek)
check_syscall_args(linux32_sys_getdents)
check_syscall_args(linux32_sys_select)
check_syscall_args(linux32_sys_fdatasync)
check_syscall_args(linux32_sys___sysctl)
check_syscall_args(linux32_sys_sched_setparam)
check_syscall_args(linux32_sys_open)
check_syscall_args(linux32_sys_sched_getparam)
check_syscall_args(linux32_sys_sched_setscheduler)
check_syscall_args(linux32_sys_sched_getscheduler)
check_syscall_args(linux32_sys_sched_get_priority_max)
check_syscall_args(linux32_sys_sched_get_priority_min)
check_syscall_args(linux32_sys_nanosleep)
check_syscall_args(linux32_sys_mremap)
check_syscall_args(linux32_sys_setresuid16)
check_syscall_args(linux32_sys_getresuid16)
check_syscall_args(linux32_sys_setresgid16)
check_syscall_args(linux32_sys_getresgid16)
check_syscall_args(linux32_sys_rt_sigreturn)
check_syscall_args(linux32_sys_rt_sigaction)
check_syscall_args(linux32_sys_waitpid)
check_syscall_args(linux32_sys_rt_sigprocmask)
check_syscall_args(linux32_sys_rt_sigpending)
check_syscall_args(linux32_sys_rt_sigtimedwait)
check_syscall_args(linux32_sys_rt_queueinfo)
check_syscall_args(linux32_sys_rt_sigsuspend)
check_syscall_args(linux32_sys_pread)
check_syscall_args(linux32_sys_pwrite)
check_syscall_args(linux32_sys_chown16)
check_syscall_args(linux32_sys_ugetrlimit)
check_syscall_args(linux32_sys_creat)
check_syscall_args(linux32_sys_mmap2)
check_syscall_args(linux32_sys_truncate64)
check_syscall_args(linux32_sys_ftruncate64)
check_syscall_args(linux32_sys_stat64)
check_syscall_args(linux32_sys_lstat64)
check_syscall_args(linux32_sys_fstat64)
check_syscall_args(linux32_sys_setresuid)
check_syscall_args(linux32_sys_getresuid)
check_syscall_args(linux32_sys_unlink)
check_syscall_args(linux32_sys_setresgid)
check_syscall_args(linux32_sys_getresgid)
check_syscall_args(linux32_sys_setfsuid)
check_syscall_args(linux32_sys_setfsgid)
check_syscall_args(linux32_sys_tkill)
check_syscall_args(linux32_sys_futex)
check_syscall_args(linux32_sys_sched_setaffinity)
check_syscall_args(linux32_sys_time)
check_syscall_args(linux32_sys_sched_getaffinity)
check_syscall_args(linux32_sys_set_thread_area)
check_syscall_args(linux32_sys_get_thread_area)
check_syscall_args(linux32_sys_fadvise64)
check_syscall_args(linux32_sys_exit_group)
check_syscall_args(linux32_sys_set_tid_address)
check_syscall_args(linux32_sys_timer_create)
check_syscall_args(linux32_sys_timer_settime)
check_syscall_args(linux32_sys_timer_gettime)
check_syscall_args(linux32_sys_clock_settime)
check_syscall_args(linux32_sys_mknod)
check_syscall_args(linux32_sys_clock_gettime)
check_syscall_args(linux32_sys_clock_getres)
check_syscall_args(linux32_sys_clock_nanosleep)
check_syscall_args(linux32_sys_statfs64)
check_syscall_args(linux32_sys_fstatfs64)
check_syscall_args(linux32_sys_tgkill)
check_syscall_args(linux32_sys_fadvise64_64)
check_syscall_args(linux32_sys_openat)
check_syscall_args(linux32_sys_mknodat)
check_syscall_args(linux32_sys_fchownat)
check_syscall_args(linux32_sys_fstatat64)
check_syscall_args(linux32_sys_lchown16)
check_syscall_args(linux32_sys_unlinkat)
check_syscall_args(linux32_sys_linkat)
check_syscall_args(compat_12_netbsd32_fstat12)
check_syscall_args(compat_12_netbsd32_lstat12)
check_syscall_args(netbsd32_chdir)
check_syscall_args(netbsd32_pathconf)
check_syscall_args(netbsd32_fpathconf)
check_syscall_args(netbsd32_getsockopt2)
check_syscall_args(netbsd32_getrlimit)
check_syscall_args(netbsd32_setrlimit)
check_syscall_args(compat_12_netbsd32_getdirentries)
check_syscall_args(netbsd32_mmap)
check_syscall_args(netbsd32_fchdir)
check_syscall_args(netbsd32_lseek)
check_syscall_args(netbsd32_truncate)
check_syscall_args(netbsd32_ftruncate)
check_syscall_args(netbsd32___sysctl)
check_syscall_args(netbsd32_mlock)
check_syscall_args(netbsd32_munlock)
check_syscall_args(netbsd32_undelete)
check_syscall_args(compat_50_netbsd32_futimes)
check_syscall_args(netbsd32_getpgid)
check_syscall_args(compat_50_netbsd32_mknod)
check_syscall_args(netbsd32_reboot)
check_syscall_args(netbsd32_poll)
check_syscall_args(compat_14_netbsd32___semctl)
check_syscall_args(netbsd32_semget)
check_syscall_args(netbsd32_semop)
check_syscall_args(netbsd32_semconfig)
check_syscall_args(compat_14_netbsd32_msgctl)
check_syscall_args(netbsd32_msgget)
check_syscall_args(netbsd32_msgsnd)
check_syscall_args(netbsd32_chmod)
check_syscall_args(netbsd32_msgrcv)
check_syscall_args(netbsd32_shmat)
check_syscall_args(compat_14_netbsd32_shmctl)
check_syscall_args(netbsd32_shmdt)
check_syscall_args(netbsd32_shmget)
check_syscall_args(compat_50_netbsd32_clock_gettime)
check_syscall_args(compat_50_netbsd32_clock_settime)
check_syscall_args(compat_50_netbsd32_clock_getres)
check_syscall_args(netbsd32_timer_create)
check_syscall_args(netbsd32_timer_delete)
check_syscall_args(compat_50_netbsd32_timer_settime)
check_syscall_args(netbsd32_chown)
check_syscall_args(compat_50_netbsd32_timer_gettime)
check_syscall_args(netbsd32_timer_getoverrun)
check_syscall_args(compat_50_netbsd32_nanosleep)
check_syscall_args(netbsd32_fdatasync)
check_syscall_args(netbsd32_mlockall)
check_syscall_args(compat_50_netbsd32___sigtimedwait)
check_syscall_args(netbsd32_sigqueueinfo)
check_syscall_args(netbsd32_modctl)
check_syscall_args(netbsd32_break)
check_syscall_args(netbsd32__ksem_init)
check_syscall_args(netbsd32__ksem_open)
check_syscall_args(netbsd32__ksem_unlink)
check_syscall_args(netbsd32__ksem_close)
check_syscall_args(netbsd32__ksem_post)
check_syscall_args(netbsd32__ksem_wait)
check_syscall_args(netbsd32__ksem_trywait)
check_syscall_args(netbsd32__ksem_getvalue)
check_syscall_args(netbsd32__ksem_destroy)
check_syscall_args(netbsd32__ksem_timedwait)
check_syscall_args(netbsd32_mq_open)
check_syscall_args(netbsd32_mq_close)
check_syscall_args(netbsd32_mq_unlink)
check_syscall_args(compat_20_netbsd32_getfsstat)
check_syscall_args(netbsd32_mq_getattr)
check_syscall_args(netbsd32_mq_setattr)
check_syscall_args(netbsd32_mq_notify)
check_syscall_args(netbsd32_mq_send)
check_syscall_args(netbsd32_mq_receive)
check_syscall_args(compat_50_netbsd32_mq_timedsend)
check_syscall_args(compat_50_netbsd32_mq_timedreceive)
check_syscall_args(netbsd32_eventfd)
check_syscall_args(netbsd32___posix_rename)
check_syscall_args(compat_43_netbsd32_olseek)
check_syscall_args(netbsd32_swapctl)
check_syscall_args(compat_30_netbsd32_getdents)
check_syscall_args(netbsd32_minherit)
check_syscall_args(netbsd32_lchmod)
check_syscall_args(netbsd32_lchown)
check_syscall_args(compat_50_netbsd32_lutimes)
check_syscall_args(netbsd32___msync13)
check_syscall_args(compat_30_netbsd32___stat13)
check_syscall_args(compat_30_netbsd32___fstat13)
check_syscall_args(compat_30_netbsd32___lstat13)
check_syscall_args(netbsd32___sigaltstack14)
check_syscall_args(netbsd32___posix_chown)
check_syscall_args(netbsd32___posix_fchown)
check_syscall_args(compat_40_netbsd32_mount)
check_syscall_args(netbsd32___posix_lchown)
check_syscall_args(netbsd32_getsid)
check_syscall_args(netbsd32___clone)
check_syscall_args(netbsd32_fktrace)
check_syscall_args(netbsd32_preadv)
check_syscall_args(netbsd32_pwritev)
check_syscall_args(netbsd32___sigaction14)
check_syscall_args(netbsd32___sigpending14)
check_syscall_args(netbsd32_unmount)
check_syscall_args(netbsd32___sigprocmask14)
check_syscall_args(netbsd32___sigsuspend14)
check_syscall_args(compat_16_netbsd32___sigreturn14)
check_syscall_args(netbsd32___getcwd)
check_syscall_args(netbsd32_fchroot)
check_syscall_args(compat_30_netbsd32_fhopen)
check_syscall_args(compat_30_netbsd32_fhstat)
check_syscall_args(compat_20_netbsd32_fhstatfs)
check_syscall_args(compat_50_netbsd32___semctl14)
check_syscall_args(netbsd32_setuid)
check_syscall_args(compat_50_netbsd32___msgctl13)
check_syscall_args(compat_50_netbsd32___shmctl13)
check_syscall_args(netbsd32_lchflags)
check_syscall_args(netbsd32_utrace)
check_syscall_args(netbsd32_getcontext)
check_syscall_args(netbsd32_setcontext)
check_syscall_args(netbsd32__lwp_create)
check_syscall_args(netbsd32__lwp_wait)
check_syscall_args(netbsd32__lwp_suspend)
check_syscall_args(netbsd32__lwp_continue)
check_syscall_args(netbsd32__lwp_wakeup)
check_syscall_args(netbsd32__lwp_setprivate)
check_syscall_args(netbsd32__lwp_kill)
check_syscall_args(netbsd32_ptrace)
check_syscall_args(netbsd32__lwp_detach)
check_syscall_args(compat_50_netbsd32__lwp_park)
check_syscall_args(netbsd32__lwp_unpark)
check_syscall_args(netbsd32__lwp_unpark_all)
check_syscall_args(netbsd32__lwp_setname)
check_syscall_args(netbsd32__lwp_getname)
check_syscall_args(netbsd32__lwp_ctl)
check_syscall_args(netbsd32___sigaction_sigtramp)
check_syscall_args(netbsd32_rasctl)
check_syscall_args(compat_50_netbsd32_kevent)
check_syscall_args(netbsd32_recvmsg)
check_syscall_args(netbsd32__sched_setparam)
check_syscall_args(netbsd32__sched_getparam)
check_syscall_args(netbsd32__sched_setaffinity)
check_syscall_args(netbsd32__sched_getaffinity)
check_syscall_args(netbsd32__sched_protect)
check_syscall_args(netbsd32_fsync_range)
check_syscall_args(netbsd32_uuidgen)
check_syscall_args(compat_90_netbsd32_getvfsstat)
check_syscall_args(compat_90_netbsd32_statvfs1)
check_syscall_args(compat_90_netbsd32_fstatvfs1)
check_syscall_args(netbsd32_sendmsg)
check_syscall_args(compat_30_netbsd32_fhstatvfs1)
check_syscall_args(netbsd32_extattrctl)
check_syscall_args(netbsd32_extattr_set_file)
check_syscall_args(netbsd32_extattr_get_file)
check_syscall_args(netbsd32_extattr_delete_file)
check_syscall_args(netbsd32_extattr_set_fd)
check_syscall_args(netbsd32_extattr_get_fd)
check_syscall_args(netbsd32_extattr_delete_fd)
check_syscall_args(netbsd32_extattr_set_link)
check_syscall_args(netbsd32_extattr_get_link)
check_syscall_args(netbsd32_extattr_delete_link)
check_syscall_args(netbsd32_extattr_list_fd)
check_syscall_args(netbsd32_recvfrom)
check_syscall_args(netbsd32_extattr_list_file)
check_syscall_args(netbsd32_extattr_list_link)
check_syscall_args(compat_50_netbsd32_pselect)
check_syscall_args(compat_50_netbsd32_pollts)
check_syscall_args(netbsd32_setxattr)
check_syscall_args(netbsd32_lsetxattr)
check_syscall_args(netbsd32_fsetxattr)
check_syscall_args(netbsd32_getxattr)
check_syscall_args(netbsd32_accept)
check_syscall_args(netbsd32_lgetxattr)
check_syscall_args(netbsd32_fgetxattr)
check_syscall_args(netbsd32_listxattr)
check_syscall_args(netbsd32_llistxattr)
check_syscall_args(netbsd32_flistxattr)
check_syscall_args(netbsd32_removexattr)
check_syscall_args(netbsd32_lremovexattr)
check_syscall_args(netbsd32_fremovexattr)
check_syscall_args(compat_50_netbsd32___stat30)
check_syscall_args(compat_50_netbsd32___fstat30)
check_syscall_args(compat_50_netbsd32___lstat30)
check_syscall_args(netbsd32_getpeername)
check_syscall_args(netbsd32___getdents30)
check_syscall_args(compat_30_netbsd32___fhstat30)
check_syscall_args(compat_50_netbsd32_ntp_gettime)
check_syscall_args(netbsd32___socket30)
check_syscall_args(netbsd32___getfh30)
check_syscall_args(netbsd32___fhopen40)
check_syscall_args(compat_90_netbsd32_fhstatvfs1)
check_syscall_args(compat_50_netbsd32___fhstat40)
check_syscall_args(netbsd32___mount50)
check_syscall_args(netbsd32_getsockname)
check_syscall_args(netbsd32_mremap)
check_syscall_args(netbsd32_pset_create)
check_syscall_args(netbsd32_pset_destroy)
check_syscall_args(netbsd32_pset_assign)
check_syscall_args(netbsd32__pset_bind)
check_syscall_args(netbsd32___posix_fadvise50)
check_syscall_args(netbsd32___select50)
check_syscall_args(netbsd32___gettimeofday50)
check_syscall_args(netbsd32___settimeofday50)
check_syscall_args(netbsd32_access)
check_syscall_args(netbsd32___utimes50)
check_syscall_args(netbsd32___adjtime50)
check_syscall_args(netbsd32___futimes50)
check_syscall_args(netbsd32___lutimes50)
check_syscall_args(netbsd32___setitimer50)
check_syscall_args(netbsd32___getitimer50)
check_syscall_args(netbsd32___clock_gettime50)
check_syscall_args(netbsd32___clock_settime50)
check_syscall_args(netbsd32___clock_getres50)
check_syscall_args(netbsd32___nanosleep50)
check_syscall_args(netbsd32_chflags)
check_syscall_args(netbsd32_____sigtimedwait50)
check_syscall_args(netbsd32___mq_timedsend50)
check_syscall_args(netbsd32___mq_timedreceive50)
check_syscall_args(compat_60_netbsd32__lwp_park)
check_syscall_args(compat_100_netbsd32___kevent50)
check_syscall_args(netbsd32___pselect50)
check_syscall_args(netbsd32___pollts50)
check_syscall_args(netbsd32_fchflags)
check_syscall_args(netbsd32___stat50)
check_syscall_args(netbsd32___fstat50)
check_syscall_args(netbsd32___lstat50)
check_syscall_args(netbsd32_____semctl50)
check_syscall_args(netbsd32___shmctl50)
check_syscall_args(netbsd32___msgctl50)
check_syscall_args(netbsd32___getrusage50)
check_syscall_args(netbsd32___timer_settime50)
check_syscall_args(netbsd32___timer_gettime50)
check_syscall_args(netbsd32_kill)
check_syscall_args(netbsd32___ntp_gettime50)
check_syscall_args(netbsd32___wait450)
check_syscall_args(netbsd32___mknod50)
check_syscall_args(netbsd32___fhstat50)
check_syscall_args(netbsd32_pipe2)
check_syscall_args(compat_100_netbsd32_dup3)
check_syscall_args(netbsd32_kqueue1)
check_syscall_args(netbsd32_paccept)
check_syscall_args(compat_43_netbsd32_stat43)
check_syscall_args(netbsd32_linkat)
check_syscall_args(netbsd32_renameat)
check_syscall_args(netbsd32_mkfifoat)
check_syscall_args(netbsd32_mknodat)
check_syscall_args(netbsd32_mkdirat)
check_syscall_args(netbsd32_faccessat)
check_syscall_args(netbsd32_fchmodat)
check_syscall_args(compat_43_netbsd32_lstat43)
check_syscall_args(netbsd32_fchownat)
check_syscall_args(netbsd32_fexecve)
check_syscall_args(netbsd32_fstatat)
check_syscall_args(netbsd32_utimensat)
check_syscall_args(netbsd32_openat)
check_syscall_args(netbsd32_readlinkat)
check_syscall_args(netbsd32_symlinkat)
check_syscall_args(netbsd32_dup)
check_syscall_args(netbsd32_unlinkat)
check_syscall_args(netbsd32_futimens)
check_syscall_args(netbsd32___quotactl)
check_syscall_args(netbsd32_posix_spawn)
check_syscall_args(netbsd32_recvmmsg)
check_syscall_args(netbsd32_sendmmsg)
check_syscall_args(netbsd32_clock_nanosleep)
check_syscall_args(netbsd32____lwp_park60)
check_syscall_args(netbsd32_posix_fallocate)
check_syscall_args(netbsd32_fdiscard)
check_syscall_args(netbsd32_profil)
check_syscall_args(netbsd32_wait6)
check_syscall_args(netbsd32_clock_getcpuclockid2)
check_syscall_args(netbsd32___getvfsstat90)
check_syscall_args(netbsd32___statvfs190)
check_syscall_args(netbsd32___fstatvfs190)
check_syscall_args(netbsd32___fhstatvfs190)
check_syscall_args(netbsd32___acl_get_link)
check_syscall_args(netbsd32___acl_set_link)
check_syscall_args(netbsd32___acl_delete_link)
check_syscall_args(netbsd32___acl_aclcheck_link)
check_syscall_args(netbsd32___acl_get_file)
check_syscall_args(netbsd32_ktrace)
check_syscall_args(netbsd32___acl_set_file)
check_syscall_args(netbsd32___acl_get_fd)
check_syscall_args(netbsd32___acl_set_fd)
check_syscall_args(netbsd32___acl_delete_file)
check_syscall_args(netbsd32___acl_delete_fd)
check_syscall_args(netbsd32___acl_aclcheck_file)
check_syscall_args(netbsd32___acl_aclcheck_fd)
check_syscall_args(netbsd32_lpathconf)
check_syscall_args(netbsd32_memfd_create)
check_syscall_args(netbsd32___kevent100)
check_syscall_args(netbsd32_sigaction)
check_syscall_args(netbsd32_epoll_create1)
check_syscall_args(netbsd32_epoll_ctl)
check_syscall_args(netbsd32_epoll_pwait2)
check_syscall_args(netbsd32___dup3100)
check_syscall_args(compat_13_netbsd32_sigprocmask)
check_syscall_args(netbsd32___getlogin)
check_syscall_args(netbsd32_setlogin)
check_syscall_args(netbsd32_acct)
check_syscall_args(compat_13_netbsd32_sigaltstack13)
check_syscall_args(netbsd32_ioctl)
#undef check_syscall_args
check_syscall_args(compat_12_netbsd32_reboot)
check_syscall_args(netbsd32_revoke)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(netbsd32_symlink)
check_syscall_args(netbsd32_readlink)
check_syscall_args(netbsd32_execve)
check_syscall_args(netbsd32_umask)
check_syscall_args(netbsd32_chroot)
check_syscall_args(compat_43_netbsd32_fstat43)
check_syscall_args(compat_43_netbsd32_ogetkerninfo)
check_syscall_args(compat_12_netbsd32_msync)
check_syscall_args(compat_43_netbsd32_ommap)
check_syscall_args(netbsd32_ovadvise)
check_syscall_args(netbsd32_munmap)
check_syscall_args(netbsd32_mprotect)
check_syscall_args(netbsd32_madvise)
check_syscall_args(netbsd32_mincore)
check_syscall_args(netbsd32_getgroups)
check_syscall_args(netbsd32_setgroups)
check_syscall_args(netbsd32_setpgid)
check_syscall_args(compat_50_netbsd32_setitimer)
check_syscall_args(compat_12_netbsd32_oswapon)
check_syscall_args(netbsd32_exit)
check_syscall_args(compat_50_netbsd32_getitimer)
check_syscall_args(compat_43_netbsd32_ogethostname)
check_syscall_args(compat_43_netbsd32_osethostname)
check_syscall_args(netbsd32_dup2)
check_syscall_args(netbsd32_getrandom)
check_syscall_args(netbsd32_fcntl)
check_syscall_args(compat_50_netbsd32_select)
check_syscall_args(netbsd32_fsync)
check_syscall_args(netbsd32_setpriority)
check_syscall_args(compat_30_netbsd32_socket)
check_syscall_args(netbsd32_read)
check_syscall_args(netbsd32_connect)
check_syscall_args(compat_43_netbsd32_oaccept)
check_syscall_args(netbsd32_getpriority)
check_syscall_args(compat_43_netbsd32_osend)
check_syscall_args(compat_43_netbsd32_orecv)
check_syscall_args(compat_13_netbsd32_sigreturn)
check_syscall_args(netbsd32_bind)
check_syscall_args(netbsd32_setsockopt)
check_syscall_args(netbsd32_listen)
check_syscall_args(compat_43_netbsd32_osigvec)
check_syscall_args(compat_43_netbsd32_sigblock)
check_syscall_args(netbsd32_write)
check_syscall_args(compat_43_netbsd32_sigsetmask)
check_syscall_args(compat_13_netbsd32_sigsuspend)
check_syscall_args(compat_43_netbsd32_osigstack)
check_syscall_args(compat_43_netbsd32_orecvmsg)
check_syscall_args(compat_43_netbsd32_osendmsg)
check_syscall_args(compat_50_netbsd32_gettimeofday)
check_syscall_args(compat_50_netbsd32_getrusage)
check_syscall_args(netbsd32_getsockopt)
check_syscall_args(netbsd32_readv)
check_syscall_args(netbsd32_writev)
check_syscall_args(netbsd32_open)
check_syscall_args(compat_50_netbsd32_settimeofday)
check_syscall_args(netbsd32_fchown)
check_syscall_args(netbsd32_fchmod)
check_syscall_args(compat_43_netbsd32_orecvfrom)
check_syscall_args(netbsd32_setreuid)
check_syscall_args(netbsd32_setregid)
check_syscall_args(netbsd32_rename)
check_syscall_args(compat_43_netbsd32_otruncate)
check_syscall_args(netbsd32_close)
check_syscall_args(compat_43_netbsd32_oftruncate)
check_syscall_args(netbsd32_flock)
check_syscall_args(netbsd32_mkfifo)
check_syscall_args(netbsd32_sendto)
check_syscall_args(netbsd32_shutdown)
check_syscall_args(netbsd32_socketpair)
check_syscall_args(netbsd32_mkdir)
check_syscall_args(netbsd32_rmdir)
check_syscall_args(compat_50_netbsd32_utimes)
check_syscall_args(compat_50_netbsd32_adjtime)
check_syscall_args(compat_43_netbsd32_ogetpeername)
check_syscall_args(compat_43_netbsd32_sethostid)
check_syscall_args(compat_50_netbsd32_wait4)
check_syscall_args(compat_43_netbsd32_ogetrlimit)
check_syscall_args(compat_43_netbsd32_osetrlimit)
check_syscall_args(compat_43_netbsd32_killpg)
check_syscall_args(compat_50_netbsd32_quotactl)
check_syscall_args(compat_43_netbsd32_ogetsockname)
check_syscall_args(netbsd32_nfssvc)
check_syscall_args(compat_43_netbsd32_ogetdirentries)
check_syscall_args(compat_20_netbsd32_statfs)
check_syscall_args(compat_20_netbsd32_fstatfs)
check_syscall_args(compat_30_netbsd32_getfh)
check_syscall_args(compat_43_netbsd32_ocreat)
check_syscall_args(compat_09_netbsd32_ogetdomainname)
check_syscall_args(compat_09_netbsd32_osetdomainname)
check_syscall_args(compat_09_netbsd32_uname)
check_syscall_args(netbsd32_sysarch)
check_syscall_args(netbsd32___futex)
check_syscall_args(netbsd32___futex_set_robust_list)
check_syscall_args(netbsd32___futex_get_robust_list)
check_syscall_args(compat_10_netbsd32_semsys)
check_syscall_args(netbsd32_link)
check_syscall_args(compat_10_netbsd32_msgsys)
check_syscall_args(compat_10_netbsd32_shmsys)
check_syscall_args(netbsd32_pread)
check_syscall_args(netbsd32_pwrite)
check_syscall_args(compat_30_netbsd32_ntp_gettime)
check_syscall_args(netbsd32_ntp_adjtime)
check_syscall_args(netbsd32_unlink)
check_syscall_args(netbsd32_timerfd_create)
check_syscall_args(netbsd32_timerfd_settime)
check_syscall_args(netbsd32_timerfd_gettime)
check_syscall_args(netbsd32_setgid)
check_syscall_args(netbsd32_setegid)
check_syscall_args(netbsd32_seteuid)
check_syscall_args(compat_12_netbsd32_stat12)
check_syscall_args(sunos_sys_ptrace)
check_syscall_args(sunos_sys_mctl)
check_syscall_args(sunos_sys_ioctl)
check_syscall_args(sunos_sys_reboot)
check_syscall_args(sunos_sys_execve)
check_syscall_args(sunos_sys_omsync)
check_syscall_args(sunos_sys_mmap)
check_syscall_args(sunos_sys_setpgrp)
check_syscall_args(sunos_sys_fcntl)
check_syscall_args(sunos_sys_socket)
check_syscall_args(sunos_sys_setsockopt)
check_syscall_args(sunos_sys_sigvec)
check_syscall_args(sunos_sys_sigsuspend)
check_syscall_args(sunos_sys_socketpair)
#undef check_syscall_args
check_syscall_args(sunos_sys_sigreturn)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(sunos_sys_getrlimit)
check_syscall_args(sunos_sys_setrlimit)
check_syscall_args(sunos_sys_statfs)
check_syscall_args(sunos_sys_fstatfs)
check_syscall_args(sunos_sys_unmount)
check_syscall_args(sunos_sys_quotactl)
check_syscall_args(sunos_sys_exportfs)
check_syscall_args(sunos_sys_mount)
check_syscall_args(sunos_sys_ustat)
check_syscall_args(sunos_sys_auditsys)
check_syscall_args(sunos_sys_getdents)
check_syscall_args(sunos_sys_sigpending)
check_syscall_args(sunos_sys_sysconf)
check_syscall_args(sunos_sys_open)
check_syscall_args(sunos_sys_wait4)
check_syscall_args(sunos_sys_creat)
check_syscall_args(sunos_sys_execv)
check_syscall_args(sunos_sys_mknod)
check_syscall_args(sunos_sys_stime)
check_syscall_args(sunos32_sys_ptrace)
check_syscall_args(sunos32_sys_access)
check_syscall_args(sunos32_sys_stat)
check_syscall_args(sunos32_sys_lstat)
check_syscall_args(sunos32_sys_mctl)
check_syscall_args(sunos32_sys_ioctl)
check_syscall_args(sunos32_sys_reboot)
check_syscall_args(sunos32_sys_execve)
check_syscall_args(sunos32_sys_omsync)
check_syscall_args(sunos32_sys_mmap)
check_syscall_args(sunos32_sys_setpgrp)
check_syscall_args(sunos32_sys_fcntl)
check_syscall_args(sunos32_sys_socket)
check_syscall_args(sunos32_sys_setsockopt)
check_syscall_args(sunos32_sys_sigvec)
check_syscall_args(sunos32_sys_sigsuspend)
#undef check_syscall_args
check_syscall_args(sunos32_sys_socketpair)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(sunos32_sys_sigreturn)
check_syscall_args(sunos32_sys_getrlimit)
check_syscall_args(sunos32_sys_setrlimit)
check_syscall_args(sunos32_sys_statfs)
check_syscall_args(sunos32_sys_fstatfs)
check_syscall_args(sunos32_sys_unmount)
check_syscall_args(sunos32_sys_quotactl)
check_syscall_args(sunos32_sys_exportfs)
check_syscall_args(sunos32_sys_mount)
check_syscall_args(sunos32_sys_ustat)
check_syscall_args(sunos32_sys_auditsys)
check_syscall_args(sunos32_sys_getdents)
check_syscall_args(sunos32_sys_sigpending)
check_syscall_args(sunos32_sys_sysconf)
check_syscall_args(sunos32_sys_open)
check_syscall_args(sunos32_sys_wait4)
check_syscall_args(sunos32_sys_creat)
check_syscall_args(sunos32_sys_execv)
check_syscall_args(sunos32_sys_mknod)
check_syscall_args(sunos32_sys_stime)
check_syscall_args(ultrix_sys_access)
check_syscall_args(ultrix_sys_stat)
check_syscall_args(ultrix_sys_lstat)
check_syscall_args(ultrix_sys_ioctl)
check_syscall_args(ultrix_sys_execve)
check_syscall_args(ultrix_sys_mmap)
check_syscall_args(ultrix_sys_setpgrp)
check_syscall_args(ultrix_sys_wait3)
check_syscall_args(ultrix_sys_fcntl)
check_syscall_args(ultrix_sys_select)
check_syscall_args(ultrix_sys_sigreturn)
check_syscall_args(ultrix_sys_setsockopt)
check_syscall_args(ultrix_sys_sigvec)
check_syscall_args(ultrix_sys_sigsuspend)
check_syscall_args(ultrix_sys_sigcleanup)
#undef check_syscall_args
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(ultrix_sys_cacheflush)
check_syscall_args(ultrix_sys_cachectl)
check_syscall_args(ultrix_sys_statfs)
check_syscall_args(ultrix_sys_fstatfs)
check_syscall_args(ultrix_sys_quotactl)
check_syscall_args(ultrix_sys_exportfs)
check_syscall_args(ultrix_sys_uname)
check_syscall_args(ultrix_sys_shmsys)
check_syscall_args(ultrix_sys_ustat)
check_syscall_args(ultrix_sys_getmnt)
check_syscall_args(ultrix_sys_sigpending)
check_syscall_args(ultrix_sys_waitpid)
check_syscall_args(ultrix_sys_getsysinfo)
check_syscall_args(ultrix_sys_open)
check_syscall_args(ultrix_sys_creat)
check_syscall_args(ultrix_sys_execv)
check_syscall_args(ultrix_sys_mknod)
check_syscall_args(ultrix_sys_mount)
check_syscall_args(compat_09_sys_setdomainname)
check_syscall_args(compat_43_sys_creat)
check_syscall_args(compat_09_sys_uname)
check_syscall_args(sys_sysarch)
check_syscall_args(sys___futex)
check_syscall_args(sys___futex_set_robust_list)
check_syscall_args(sys___futex_get_robust_list)
check_syscall_args(compat_10_sys_semsys)
check_syscall_args(compat_10_sys_msgsys)
check_syscall_args(sys_link)
check_syscall_args(compat_10_sys_shmsys)
check_syscall_args(sys_pread)
check_syscall_args(sys_pwrite)
check_syscall_args(compat_30_sys_ntp_gettime)
check_syscall_args(sys_ntp_adjtime)
check_syscall_args(sys_unlink)
check_syscall_args(sys_timerfd_create)
check_syscall_args(sys_timerfd_settime)
check_syscall_args(sys_timerfd_gettime)
check_syscall_args(sys_setgid)
check_syscall_args(sys_setegid)
check_syscall_args(sys_seteuid)
check_syscall_args(sys_lfs_bmapv)
check_syscall_args(sys_chdir)
check_syscall_args(sys_lfs_markv)
check_syscall_args(sys_lfs_segclean)
check_syscall_args(compat_50_sys_lfs_segwait)
check_syscall_args(compat_12_sys_stat)
check_syscall_args(compat_12_sys_fstat)
check_syscall_args(compat_12_sys_lstat)
check_syscall_args(sys_fchdir)
check_syscall_args(sys_pathconf)
check_syscall_args(sys_fpathconf)
check_syscall_args(sys_getsockopt2)
check_syscall_args(sys_getrlimit)
check_syscall_args(sys_setrlimit)
check_syscall_args(compat_12_sys_getdirentries)
check_syscall_args(sys_mmap)
check_syscall_args(sys_lseek)
check_syscall_args(compat_50_sys_mknod)
check_syscall_args(sys_truncate)
check_syscall_args(sys_ftruncate)
check_syscall_args(sys___sysctl)
check_syscall_args(sys_mlock)
check_syscall_args(sys_munlock)
check_syscall_args(sys_undelete)
check_syscall_args(compat_50_sys_futimes)
check_syscall_args(sys_getpgid)
check_syscall_args(sys_chmod)
check_syscall_args(sys_reboot)
check_syscall_args(sys_poll)
check_syscall_args(sys_afssys)
check_syscall_args(compat_14_sys___semctl)
check_syscall_args(sys_semget)
check_syscall_args(sys_semop)
check_syscall_args(sys_semconfig)
check_syscall_args(compat_14_sys_msgctl)
check_syscall_args(sys_chown)
check_syscall_args(sys_msgget)
check_syscall_args(sys_msgsnd)
check_syscall_args(sys_msgrcv)
check_syscall_args(sys_shmat)
check_syscall_args(compat_14_sys_shmctl)
check_syscall_args(sys_shmdt)
check_syscall_args(sys_shmget)
check_syscall_args(sys_obreak)
check_syscall_args(compat_50_sys_clock_gettime)
check_syscall_args(compat_50_sys_clock_settime)
check_syscall_args(compat_50_sys_clock_getres)
check_syscall_args(sys_timer_create)
check_syscall_args(sys_timer_delete)
check_syscall_args(compat_50_sys_timer_settime)
check_syscall_args(compat_50_sys_timer_gettime)
check_syscall_args(sys_timer_getoverrun)
check_syscall_args(compat_50_sys_nanosleep)
check_syscall_args(sys_fdatasync)
check_syscall_args(sys_mlockall)
check_syscall_args(compat_50_sys___sigtimedwait)
check_syscall_args(compat_20_sys_getfsstat)
check_syscall_args(sys_sigqueueinfo)
check_syscall_args(sys_modctl)
check_syscall_args(sys__ksem_init)
check_syscall_args(sys__ksem_open)
check_syscall_args(sys__ksem_unlink)
check_syscall_args(sys__ksem_close)
check_syscall_args(sys__ksem_post)
check_syscall_args(sys__ksem_wait)
check_syscall_args(sys__ksem_trywait)
check_syscall_args(sys__ksem_getvalue)
check_syscall_args(sys__ksem_destroy)
check_syscall_args(sys__ksem_timedwait)
check_syscall_args(sys_mq_open)
check_syscall_args(sys_mq_close)
check_syscall_args(sys_mq_unlink)
check_syscall_args(compat_43_sys_lseek)
check_syscall_args(sys_mq_getattr)
check_syscall_args(sys_mq_setattr)
check_syscall_args(sys_mq_notify)
check_syscall_args(sys_mq_send)
check_syscall_args(sys_mq_receive)
check_syscall_args(compat_50_sys_mq_timedsend)
check_syscall_args(compat_50_sys_mq_timedreceive)
check_syscall_args(sys_eventfd)
check_syscall_args(sys___posix_rename)
check_syscall_args(sys_swapctl)
check_syscall_args(compat_30_sys_getdents)
check_syscall_args(compat_40_sys_mount)
check_syscall_args(sys_minherit)
check_syscall_args(sys_lchmod)
check_syscall_args(sys_lchown)
check_syscall_args(compat_50_sys_lutimes)
check_syscall_args(sys___msync13)
check_syscall_args(compat_30_sys___stat13)
check_syscall_args(compat_30_sys___fstat13)
check_syscall_args(compat_30_sys___lstat13)
check_syscall_args(sys___sigaltstack14)
check_syscall_args(sys_unmount)
check_syscall_args(sys___posix_chown)
check_syscall_args(sys___posix_fchown)
check_syscall_args(sys___posix_lchown)
check_syscall_args(sys_getsid)
check_syscall_args(sys___clone)
check_syscall_args(sys_fktrace)
check_syscall_args(sys_preadv)
check_syscall_args(sys_setuid)
check_syscall_args(sys_pwritev)
check_syscall_args(compat_16_sys___sigaction14)
check_syscall_args(sys___sigpending14)
check_syscall_args(sys___sigprocmask14)
check_syscall_args(sys___sigsuspend14)
check_syscall_args(compat_16_sys___sigreturn14)
check_syscall_args(sys___getcwd)
check_syscall_args(sys_fchroot)
check_syscall_args(compat_30_sys_fhopen)
check_syscall_args(compat_30_sys_fhstat)
check_syscall_args(compat_20_sys_fhstatfs)
check_syscall_args(sys_ptrace)
check_syscall_args(compat_50_sys_____semctl13)
check_syscall_args(compat_50_sys___msgctl13)
check_syscall_args(compat_50_sys___shmctl13)
check_syscall_args(sys_lchflags)
check_syscall_args(sys_utrace)
check_syscall_args(sys_getcontext)
check_syscall_args(sys_setcontext)
check_syscall_args(sys__lwp_create)
check_syscall_args(sys__lwp_wait)
check_syscall_args(sys__lwp_suspend)
check_syscall_args(sys__lwp_continue)
check_syscall_args(sys_recvmsg)
check_syscall_args(sys__lwp_wakeup)
check_syscall_args(sys__lwp_setprivate)
check_syscall_args(sys__lwp_kill)
check_syscall_args(sys__lwp_detach)
check_syscall_args(compat_50_sys__lwp_park)
check_syscall_args(sys__lwp_unpark)
check_syscall_args(sys__lwp_unpark_all)
check_syscall_args(sys__lwp_setname)
check_syscall_args(sys_sendmsg)
check_syscall_args(sys__lwp_getname)
check_syscall_args(sys__lwp_ctl)
check_syscall_args(compat_60_sys_sa_register)
check_syscall_args(compat_60_sys_sa_stacks)
check_syscall_args(compat_60_sys_sa_setconcurrency)
check_syscall_args(compat_60_sys_sa_preempt)
check_syscall_args(sys___sigaction_sigtramp)
check_syscall_args(sys_rasctl)
check_syscall_args(compat_50_sys_kevent)
check_syscall_args(sys__sched_setparam)
check_syscall_args(sys__sched_getparam)
check_syscall_args(sys_recvfrom)
check_syscall_args(sys__sched_setaffinity)
check_syscall_args(sys__sched_getaffinity)
check_syscall_args(sys__sched_protect)
check_syscall_args(sys_fsync_range)
check_syscall_args(sys_uuidgen)
check_syscall_args(compat_90_sys_getvfsstat)
check_syscall_args(compat_90_sys_statvfs1)
check_syscall_args(compat_90_sys_fstatvfs1)
check_syscall_args(compat_30_sys_fhstatvfs1)
check_syscall_args(sys_accept)
check_syscall_args(sys_extattrctl)
check_syscall_args(sys_extattr_set_file)
check_syscall_args(sys_extattr_get_file)
check_syscall_args(sys_extattr_delete_file)
check_syscall_args(sys_extattr_set_fd)
check_syscall_args(sys_extattr_get_fd)
check_syscall_args(sys_extattr_delete_fd)
check_syscall_args(sys_extattr_set_link)
check_syscall_args(sys_getpeername)
check_syscall_args(sys_extattr_get_link)
check_syscall_args(sys_extattr_delete_link)
check_syscall_args(sys_extattr_list_fd)
check_syscall_args(sys_extattr_list_file)
check_syscall_args(sys_extattr_list_link)
check_syscall_args(compat_50_sys_pselect)
check_syscall_args(compat_50_sys_pollts)
check_syscall_args(sys_setxattr)
check_syscall_args(sys_getsockname)
check_syscall_args(sys_lsetxattr)
check_syscall_args(sys_fsetxattr)
check_syscall_args(sys_getxattr)
check_syscall_args(sys_lgetxattr)
check_syscall_args(sys_fgetxattr)
check_syscall_args(sys_listxattr)
check_syscall_args(sys_llistxattr)
check_syscall_args(sys_flistxattr)
check_syscall_args(sys_access)
check_syscall_args(sys_removexattr)
check_syscall_args(sys_lremovexattr)
check_syscall_args(sys_fremovexattr)
check_syscall_args(compat_50_sys___stat30)
check_syscall_args(compat_50_sys___fstat30)
check_syscall_args(compat_50_sys___lstat30)
check_syscall_args(sys___getdents30)
check_syscall_args(compat_30_sys___fhstat30)
check_syscall_args(compat_50_sys___ntp_gettime30)
check_syscall_args(sys_chflags)
check_syscall_args(sys___socket30)
check_syscall_args(sys___getfh30)
check_syscall_args(sys___fhopen40)
check_syscall_args(compat_90_sys_fhstatvfs1)
check_syscall_args(compat_50_sys___fhstat40)
check_syscall_args(sys_aio_cancel)
check_syscall_args(sys_aio_error)
check_syscall_args(sys_aio_fsync)
check_syscall_args(sys_aio_read)
check_syscall_args(sys_fchflags)
check_syscall_args(sys_aio_return)
check_syscall_args(compat_50_sys_aio_suspend)
check_syscall_args(sys_aio_write)
check_syscall_args(sys_lio_listio)
check_syscall_args(sys___mount50)
check_syscall_args(sys_mremap)
check_syscall_args(sys_pset_create)
check_syscall_args(sys_pset_destroy)
check_syscall_args(sys_pset_assign)
check_syscall_args(sys_kill)
check_syscall_args(sys__pset_bind)
check_syscall_args(sys___posix_fadvise50)
check_syscall_args(sys___select50)
check_syscall_args(sys___gettimeofday50)
check_syscall_args(sys___settimeofday50)
check_syscall_args(sys___utimes50)
check_syscall_args(sys___adjtime50)
check_syscall_args(sys___lfs_segwait50)
check_syscall_args(sys___futimes50)
check_syscall_args(sys___lutimes50)
check_syscall_args(sys___setitimer50)
check_syscall_args(compat_43_sys_stat)
check_syscall_args(sys___getitimer50)
check_syscall_args(sys___clock_gettime50)
check_syscall_args(sys___clock_settime50)
check_syscall_args(sys___clock_getres50)
check_syscall_args(sys___nanosleep50)
check_syscall_args(sys_____sigtimedwait50)
check_syscall_args(sys___mq_timedsend50)
check_syscall_args(sys___mq_timedreceive50)
check_syscall_args(compat_60_sys__lwp_park)
check_syscall_args(compat_100_sys___kevent50)
check_syscall_args(compat_43_sys_lstat)
check_syscall_args(sys___pselect50)
check_syscall_args(sys___pollts50)
check_syscall_args(sys___aio_suspend50)
check_syscall_args(sys___stat50)
check_syscall_args(sys___fstat50)
check_syscall_args(sys___lstat50)
check_syscall_args(sys_____semctl50)
check_syscall_args(sys___shmctl50)
check_syscall_args(sys_dup)
check_syscall_args(sys___msgctl50)
check_syscall_args(sys___getrusage50)
check_syscall_args(sys___timer_settime50)
check_syscall_args(sys___timer_gettime50)
check_syscall_args(sys___ntp_gettime50)
check_syscall_args(sys___wait450)
check_syscall_args(sys___mknod50)
check_syscall_args(sys___fhstat50)
check_syscall_args(sys_pipe2)
check_syscall_args(compat_100_sys_dup3)
check_syscall_args(sys_kqueue1)
check_syscall_args(sys_profil)
check_syscall_args(sys_paccept)
check_syscall_args(sys_linkat)
check_syscall_args(sys_renameat)
check_syscall_args(sys_mkfifoat)
check_syscall_args(sys_mknodat)
check_syscall_args(sys_mkdirat)
check_syscall_args(sys_faccessat)
check_syscall_args(sys_fchmodat)
check_syscall_args(sys_fchownat)
check_syscall_args(sys_fexecve)
check_syscall_args(sys_fstatat)
check_syscall_args(sys_ktrace)
check_syscall_args(sys_utimensat)
check_syscall_args(sys_openat)
check_syscall_args(sys_readlinkat)
check_syscall_args(sys_symlinkat)
check_syscall_args(sys_unlinkat)
check_syscall_args(sys_futimens)
check_syscall_args(sys___quotactl)
check_syscall_args(sys_posix_spawn)
check_syscall_args(sys_recvmmsg)
check_syscall_args(sys_sendmmsg)
check_syscall_args(compat_13_sys_sigaction)
check_syscall_args(sys_clock_nanosleep)
check_syscall_args(sys____lwp_park60)
check_syscall_args(sys_posix_fallocate)
check_syscall_args(sys_fdiscard)
check_syscall_args(sys_wait6)
check_syscall_args(sys_clock_getcpuclockid2)
check_syscall_args(sys___getvfsstat90)
check_syscall_args(sys___statvfs190)
check_syscall_args(sys___fstatvfs190)
check_syscall_args(sys___fhstatvfs190)
check_syscall_args(compat_13_sys_sigprocmask)
check_syscall_args(sys___acl_get_link)
check_syscall_args(sys___acl_set_link)
check_syscall_args(sys___acl_delete_link)
check_syscall_args(sys___acl_aclcheck_link)
check_syscall_args(sys___acl_get_file)
check_syscall_args(sys___acl_set_file)
check_syscall_args(sys___acl_get_fd)
check_syscall_args(sys___acl_set_fd)
check_syscall_args(sys___getlogin)
check_syscall_args(sys___acl_delete_file)
check_syscall_args(sys___acl_delete_fd)
check_syscall_args(sys___acl_aclcheck_file)
check_syscall_args(sys___acl_aclcheck_fd)
check_syscall_args(sys_lpathconf)
check_syscall_args(sys_memfd_create)
check_syscall_args(sys___setlogin)
check_syscall_args(sys___kevent100)
check_syscall_args(sys_epoll_create1)
check_syscall_args(sys_epoll_ctl)
check_syscall_args(sys_epoll_pwait2)
check_syscall_args(sys___dup3100)
check_syscall_args(sys_acct)
check_syscall_args(compat_13_sys_sigaltstack)
check_syscall_args(sys_ioctl)
check_syscall_args(compat_12_sys_reboot)
check_syscall_args(sys_revoke)
check_syscall_args(sys_symlink)
check_syscall_args(sys_readlink)
check_syscall_args(sys_execve)
check_syscall_args(sys_umask)
check_syscall_args(sys_chroot)
#undef check_syscall_args
check_syscall_args(compat_43_sys_fstat)
#define check_syscall_args(call) /*LINTED*/ \
check_syscall_args(compat_43_sys_getkerninfo)
check_syscall_args(compat_12_sys_msync)
check_syscall_args(compat_43_sys_mmap)
check_syscall_args(sys_ovadvise)
check_syscall_args(sys_munmap)
check_syscall_args(sys_mprotect)
check_syscall_args(sys_madvise)
check_syscall_args(sys_mincore)
check_syscall_args(sys_getgroups)
check_syscall_args(sys_setgroups)
check_syscall_args(sys_setpgid)
check_syscall_args(compat_50_sys_setitimer)
check_syscall_args(compat_12_sys_swapon)
check_syscall_args(compat_50_sys_getitimer)
check_syscall_args(compat_43_sys_gethostname)
check_syscall_args(compat_43_sys_sethostname)
check_syscall_args(sys_dup2)
check_syscall_args(sys_getrandom)
check_syscall_args(sys_fcntl)
check_syscall_args(sys_exit)
check_syscall_args(compat_50_sys_select)
check_syscall_args(sys_fsync)
check_syscall_args(sys_setpriority)
check_syscall_args(compat_30_sys_socket)
check_syscall_args(sys_connect)
check_syscall_args(compat_43_sys_accept)
check_syscall_args(sys_getpriority)
check_syscall_args(compat_43_sys_send)
check_syscall_args(compat_43_sys_recv)
check_syscall_args(compat_13_sys_sigreturn)
check_syscall_args(sys_read)
check_syscall_args(sys_bind)
check_syscall_args(sys_setsockopt)
check_syscall_args(sys_listen)
check_syscall_args(compat_43_sys_sigvec)
check_syscall_args(compat_43_sys_sigblock)
check_syscall_args(compat_43_sys_sigsetmask)
check_syscall_args(compat_13_sys_sigsuspend)
check_syscall_args(compat_43_sys_sigstack)
check_syscall_args(compat_43_sys_recvmsg)
check_syscall_args(sys_write)
check_syscall_args(compat_43_sys_sendmsg)
check_syscall_args(compat_50_sys_gettimeofday)
check_syscall_args(compat_50_sys_getrusage)
check_syscall_args(sys_getsockopt)
check_syscall_args(sys_readv)
check_syscall_args(sys_writev)
check_syscall_args(compat_50_sys_settimeofday)
check_syscall_args(sys_fchown)
check_syscall_args(sys_fchmod)
check_syscall_args(sys_open)
check_syscall_args(compat_43_sys_recvfrom)
check_syscall_args(sys_setreuid)
check_syscall_args(sys_setregid)
check_syscall_args(sys_rename)
check_syscall_args(compat_43_sys_truncate)
check_syscall_args(compat_43_sys_ftruncate)
check_syscall_args(sys_flock)
check_syscall_args(sys_close)
check_syscall_args(sys_mkfifo)
check_syscall_args(sys_sendto)
check_syscall_args(sys_shutdown)
check_syscall_args(sys_socketpair)
check_syscall_args(sys_mkdir)
check_syscall_args(sys_rmdir)
check_syscall_args(compat_50_sys_utimes)
check_syscall_args(compat_50_sys_adjtime)
check_syscall_args(compat_43_sys_getpeername)
check_syscall_args(compat_43_sys_sethostid)
check_syscall_args(compat_43_sys_getrlimit)
check_syscall_args(compat_43_sys_setrlimit)
check_syscall_args(compat_43_sys_killpg)
check_syscall_args(compat_50_sys_wait4)
check_syscall_args(compat_50_sys_quotactl)
check_syscall_args(compat_43_sys_getsockname)
check_syscall_args(sys_nfssvc)
check_syscall_args(compat_43_sys_getdirentries)
check_syscall_args(compat_20_sys_statfs)
check_syscall_args(compat_20_sys_fstatfs)
check_syscall_args(compat_30_sys_getfh)
check_syscall_args(compat_09_sys_getdomainname)