syscall_arg
struct syscall_arg args[10]; /* Hopefully no syscalls with > 10 args */
char *print_arg(struct syscall_arg *, syscallarg_t *, syscallarg_t *,
print_arg(struct syscall_arg *sc, syscallarg_t *args, syscallarg_t *retval,