diff --git a/sys/arch/pmax/dev/dtop.c b/sys/arch/pmax/dev/dtop.c
index 779925aacfeb..bfc12bde8a82 100644
--- a/sys/arch/pmax/dev/dtop.c
+++ b/sys/arch/pmax/dev/dtop.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: dtop.c,v 1.21 1997/05/25 02:37:55 jonathan Exp $	*/
+/*	$NetBSD: dtop.c,v 1.22 1997/05/25 04:49:59 jonathan Exp $	*/
 
 /*-
  * Copyright (c) 1992, 1993
@@ -185,16 +185,6 @@ int  dtop_keyboard_handler	__P((dtop_device_t, dtop_message_t, int, int));
 int  dtopparam		__P((struct tty *, struct termios *));
 void dtopstart		__P((struct tty *));
 
-void dtopKBDPutc	__P((dev_t, int));
-int  dtopKBDGetc	__P((dev_t));
-
-
-					/* X11 keyboard input upcall  */
-void	(*dtopDivertXInput) __P((int));
-					/* X11 mouse motion event upcall */
-void	(*dtopMouseEvent) __P((MouseReport *mrp));
-					/* X11 mouse buttons event upcall */
-void (*dtopMouseButtons) __P((MouseReport *mrp));
 
 
 /*
diff --git a/sys/arch/pmax/dev/dtopvar.h b/sys/arch/pmax/dev/dtopvar.h
index 0f47e91c2841..587e35a18c8a 100644
--- a/sys/arch/pmax/dev/dtopvar.h
+++ b/sys/arch/pmax/dev/dtopvar.h
@@ -1,6 +1,52 @@
+/* $NetBSD: dtopvar.h,v 1.2 1997/05/25 04:50:00 jonathan Exp $ */
+
+/*
+ * Copyright (c) 1997 Jonathan Stone.  All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ * 3. All advertising materials mentioning features or use of this software
+ *    must display the following acknowledgement:
+ *	This product includes software developed by Jonathan Stone for
+ *      the NetBSD Project.
+ * 4. The name of the author may not be used to endorse or promote products
+ *    derived from this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
 int	dtopKBDGetc __P((dev_t dev));
 void	dtopKBDPutc __P((dev_t dev, int c));
 
+/*
+ * Support for UGLY 4.4bsd/pmax-derived console/X11 input redirection
+ * to in-kernel input-event queue.
+ */
+
+/* X11 keyboard input upcall */
+void	(*dtopDivertXInput) __P((int));
+
+/* X11 mouse motion event upcall */
+void	(*dtopMouseEvent) __P((MouseReport *mrp));
+
+/* X11 mouse buttons event upcall */
+void	(*dtopMouseButtons) __P((MouseReport *mrp));
+
 /*
  * Device numbers.
  */