-void ktrnamei __P((struct vnode *,char *));
-void ktrcsw __P((struct vnode *, int, int, int));
-void ktrpsig __P((struct vnode *, int, sig_t, sigset_t *, int, int));
-void ktrgenio __P((struct vnode *, int, enum uio_rw,
- struct uio *, int, int));
-void ktrsyscall __P((struct proc *, int, int, register_t args[], int));
-void ktrsysret __P((struct proc *, int, int, register_t, int));
+void ktrnamei(struct vnode *,char *);
+void ktrcsw(struct vnode *, int, int);
+void ktrpsig(struct vnode *, int, sig_t, sigset_t *, int);
+void ktrgenio(struct vnode *, int, enum uio_rw, struct uio *, int);
+void ktrsyscall(struct proc *, int, int, u_int64_t args[]);
+void ktrsysret(struct proc *, int, int, register_t);