Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 630b9d35d680e1630c85e924dedf7b49c34f6e70)
+++ kernel/generic/include/console/console.h	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -76,5 +76,5 @@
 extern void release_console(void);
 
-extern sysarg_t sys_debug_activate_console(void);
+extern sysarg_t sys_debug_console(void);
 
 #endif /* KERN_CONSOLE_H_ */