Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 7c5320cc53df744a0d53d60a263d390f3fe84b5e)
+++ kernel/generic/include/console/console.h	(revision f5fb30759738d6a835dcd57362fca777e82788c5)
@@ -69,6 +69,4 @@
 SPINLOCK_EXTERN(kio_lock);
 
-extern char32_t getc(indev_t *indev);
-extern size_t gets(indev_t *indev, char *buf, size_t buflen);
 extern sys_errno_t sys_kio(int cmd, uspace_addr_t buf, size_t size);