+extern struct tty *constty; /* current console device */
+
+int consopen(dev_t, int, int, struct proc *);
+int consclose(dev_t, int, int, struct proc *);
+int consread(dev_t, struct uio *, int);
+int conswrite(dev_t, struct uio *, int);
+int consioctl(dev_t, u_long, caddr_t, int, struct proc *);
+int consselect(dev_t, int, void *, struct proc *);
+
+/*
+ * These really want their own header file, but this is the only one in
+ * common, and the km device is the keyboard monitor, so it's technically a
+ * part of the console.
+ */
+int kmopen(dev_t, int, int, struct proc *);
+int kmclose(dev_t, int, int, struct proc *);
+int kmread(dev_t, struct uio *, int);
+int kmwrite(dev_t, struct uio *, int);
+int kmioctl(dev_t, u_long, caddr_t, int, struct proc *);
+int kmputc(dev_t, char);
+
+#endif