diff --git a/kernel/dev/ps2kbdev.c b/kernel/dev/ps2kbdev.c
index 2b21251..e34b447 100644
--- a/kernel/dev/ps2kbdev.c
+++ b/kernel/dev/ps2kbdev.c
@@ -155,24 +155,6 @@ int32_t ps2kb_intr(void) {
 
 IpcMBus *PS2KB_MBUS;
 
-int32_t ps2kbdev_readch(struct Dev *dev, uint8_t *buffer, size_t len, uint64_t pid) {
-  (void)dev; (void)buffer; (void)len;
-
-  uint8_t b;
-  int32_t r = ipc_mbusconsume("ps2kb", &b, pid);
-  if (r > 0) {
-    return b;
-  } else {
-    return E_NOTYET;
-  }
-}
-
-int32_t ps2kbdev_attchcons(struct Dev *dev, uint8_t *buffer, size_t len, uint64_t pid) {
-  (void)dev; (void)buffer; (void)len;
-
-  return ipc_mbusattch("ps2kb", pid);
-}
-
 void ps2kbdev_intr(void) {
   int32_t c = ps2kb_intr();
   if (c >= 0) {
@@ -188,6 +170,4 @@ void ps2kbdev_init(void) {
   HSHTB_ALLOC(DEVTABLE.devs, ident, "ps2kbdev", ps2kbdev);
   spinlock_init(&ps2kbdev->spinlock);
   PS2KB_MBUS = ipc_mbusmake("ps2kb", 1, 0x100);
-  ps2kbdev->fns[DEV_PS2KBDEV_READCH] = &ps2kbdev_readch;
-  ps2kbdev->fns[DEV_PS2KBDEV_ATTCHCONS] = &ps2kbdev_attchcons;
 }
diff --git a/share/sysdefs/dev.h b/share/sysdefs/dev.h
index 06d895c..c42edd7 100644
--- a/share/sysdefs/dev.h
+++ b/share/sysdefs/dev.h
@@ -6,9 +6,6 @@
 
 #define DEV_TERMDEV_PUTCH 0
 
-#define DEV_PS2KBDEV_READCH     0
-#define DEV_PS2KBDEV_ATTCHCONS  1
-
 #define DEV_SERIALDEV_SENDB     0
 #define DEV_SERIALDEV_SENDREADY 1
 #define DEV_SERIALDEV_RECVB     2