Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 8030f499b40bd1ac96c03796aede95dfb937ed6d)
+++ kernel/generic/include/console/console.h	(revision ac8e7a918059120c8c14bb11fef3e0c2ebba857a)
@@ -39,6 +39,6 @@
 #include <console/chardev.h>
 
-extern chardev_t *stdin;
-extern chardev_t *stdout;
+extern indev_t *stdin;
+extern outdev_t *stdout;
 
 extern bool silent;
@@ -49,7 +49,8 @@
 extern void klog_update(void);
 
-extern uint8_t getc(chardev_t *chardev);
-extern uint8_t _getc(chardev_t *chardev);
-extern count_t gets(chardev_t *chardev, char *buf, size_t buflen);
+extern bool check_poll(indev_t *indev);
+extern uint8_t getc(indev_t *indev);
+extern uint8_t _getc(indev_t *indev);
+extern count_t gets(indev_t *indev, char *buf, size_t buflen);
 extern void putchar(char c);