Index: generic/src/console/chardev.c
===================================================================
--- generic/src/console/chardev.c	(revision d43d2f705946ff05da350bbb3b6648898cae3600)
+++ generic/src/console/chardev.c	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -40,5 +40,5 @@
 {
 	waitq_initialize(&chardev->wq);
-	spinlock_initialize(&chardev->lock);
+	spinlock_initialize(&chardev->lock, "chardev");
 	chardev->counter = 0;
 	chardev->index = 0;
Index: generic/src/console/kconsole.c
===================================================================
--- generic/src/console/kconsole.c	(revision d43d2f705946ff05da350bbb3b6648898cae3600)
+++ generic/src/console/kconsole.c	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -93,5 +93,5 @@
 void kconsole_init(void)
 {
-	spinlock_initialize(&cmd_lock);
+	spinlock_initialize(&cmd_lock, "kconsole_cmd");
 	list_initialize(&cmd_head);
 	
@@ -103,5 +103,5 @@
 	help_info.argv = NULL;
 
-	spinlock_initialize(&help_info.lock);
+	spinlock_initialize(&help_info.lock, "kconsole_help");
 	link_initialize(&help_info.link);
 
@@ -117,5 +117,5 @@
 	desc_info.argv = &desc_argv;
 	
-	spinlock_initialize(&desc_info.lock);
+	spinlock_initialize(&desc_info.lock, "kconsole_desc");
 	link_initialize(&desc_info.link);
 	
@@ -131,5 +131,5 @@
 	halt_info.argv = NULL;
 
-	spinlock_initialize(&halt_info.lock);
+	spinlock_initialize(&halt_info.lock, "kconsole_halt");
 	link_initialize(&halt_info.link);