Index: abi/include/abi/syscall.h
===================================================================
--- abi/include/abi/syscall.h	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ abi/include/abi/syscall.h	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -97,5 +97,5 @@
 	SYS_SYSINFO_GET_DATA,
 	
-	SYS_DEBUG_ACTIVATE_CONSOLE,
+	SYS_DEBUG_CONSOLE,
 	
 	SYS_KLOG,
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ 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_ */
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ kernel/generic/src/console/console.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -224,5 +224,5 @@
 
 /** Activate kernel console override */
-sysarg_t sys_debug_activate_console(void)
+sysarg_t sys_debug_console(void)
 {
 #ifdef CONFIG_KCONSOLE
Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ kernel/generic/src/syscall/syscall.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -192,5 +192,5 @@
 	
 	/* Kernel console syscalls. */
-	(syshandler_t) sys_debug_activate_console,
+	(syshandler_t) sys_debug_console,
 	
 	(syshandler_t) sys_klog,
Index: uspace/app/trace/syscalls.c
===================================================================
--- uspace/app/trace/syscalls.c	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ uspace/app/trace/syscalls.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -79,5 +79,5 @@
     [SYS_SYSINFO_GET_DATA] = { "sysinfo_get_data",		5,	V_ERRNO },
 
-    [SYS_DEBUG_ACTIVATE_CONSOLE] = { "debug_activate_console", 0,	V_ERRNO },
+    [SYS_DEBUG_CONSOLE] = { "debug_console", 0,	V_ERRNO },
     [SYS_IPC_CONNECT_KBOX] = { "ipc_connect_kbox",	1,	V_ERRNO }
 };
Index: uspace/lib/c/generic/io/console.c
===================================================================
--- uspace/lib/c/generic/io/console.c	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ uspace/lib/c/generic/io/console.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -75,5 +75,5 @@
 bool console_kcon(void)
 {
-	return __SYSCALL0(SYS_DEBUG_ACTIVATE_CONSOLE);
+	return __SYSCALL0(SYS_DEBUG_CONSOLE);
 }
 
Index: uspace/srv/hid/compositor/compositor.c
===================================================================
--- uspace/srv/hid/compositor/compositor.c	(revision 238869ca12f46865c8902e0768fc66cfa11f29ec)
+++ uspace/srv/hid/compositor/compositor.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -2063,5 +2063,5 @@
 		fibril_mutex_unlock(&viewport_list_mtx);
 	} else if (kconsole_switch) {
-		__SYSCALL0(SYS_DEBUG_ACTIVATE_CONSOLE);
+		__SYSCALL0(SYS_DEBUG_CONSOLE);
 	} else {
 		window_event_t *event = (window_event_t *) malloc(sizeof(window_event_t));