Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 939e9c10884cbd31e50c1de033d58278e04ece27)
+++ kernel/generic/src/console/cmd.c	(revision d93a1c5a998734e45dee0e8958fd96dda0093dac)
@@ -399,15 +399,15 @@
 };
 
-/* Data and methods for 'ipc_task' command */
-static int cmd_ipc_task(cmd_arg_t *argv);
-static cmd_arg_t ipc_task_argv = {
+/* Data and methods for 'ipc' command */
+static int cmd_ipc(cmd_arg_t *argv);
+static cmd_arg_t ipc_argv = {
 	.type = ARG_TYPE_INT,
 };
-static cmd_info_t ipc_task_info = {
-	.name = "ipc_task",
-	.description = "ipc_task <taskid> Show IPC information of given task.",
-	.func = cmd_ipc_task,
+static cmd_info_t ipc_info = {
+	.name = "ipc",
+	.description = "ipc <taskid> Show IPC information of given task.",
+	.func = cmd_ipc,
 	.argc = 1,
-	.argv = &ipc_task_argv
+	.argv = &ipc_argv
 };
 
@@ -462,5 +462,5 @@
 	&halt_info,
 	&help_info,
-	&ipc_task_info,
+	&ipc_info,
 	&set4_info,
 	&slabs_info,
@@ -938,5 +938,5 @@
  * return Always 1
  */
-int cmd_ipc_task(cmd_arg_t * argv) {
+int cmd_ipc(cmd_arg_t * argv) {
 	ipc_print_task(argv[0].intval);
 	return 1;