Index: generic/src/interrupt/interrupt.c
===================================================================
--- generic/src/interrupt/interrupt.c	(revision 39494010cd29538c76268953cc313e6c622f06d5)
+++ generic/src/interrupt/interrupt.c	(revision 6d7ffa6500ff049f534738d13b952fc159242a8d)
@@ -32,4 +32,5 @@
 #include <console/console.h>
 #include <console/chardev.h>
+#include <console/cmd.h>
 #include <panic.h>
 #include <print.h>
@@ -112,5 +113,5 @@
 
 static cmd_info_t exc_info = {
-	.name = "pexc",
+	.name = "exc",
 	.description = "Print exception table.",
 	.func = exc_print_cmd,
@@ -128,6 +129,5 @@
 		exc_register(i, "undef", exc_undef);
 
-	spinlock_initialize(&exc_info.lock, "kconsole_excinfo");
-	link_initialize(&exc_info.link);
+	cmd_initialize(&exc_info);
 	if (!cmd_register(&exc_info))
 		panic("could not register command %s\n", exc_info.name);