Index: generic/include/console/kconsole.h
===================================================================
--- generic/include/console/kconsole.h	(revision 93b84b3c39c5f623f2855694d31930674e24a165)
+++ generic/include/console/kconsole.h	(revision 3fc03fd55a97ee8c78eecc373fec290d6bd547d9)
@@ -69,5 +69,5 @@
 
 extern void kconsole_init(void);
-extern void kconsole(void *arg);
+extern void kconsole(void *prompt);
 
 extern int cmd_register(cmd_info_t *cmd);