pub type syscall_arg_t = u_int64_t;
This defines the size of syscall arguments after copying into the kernel: