--- console.c.orig	Tue Aug 21 18:31:03 2001
+++ console.c	Tue Aug 21 18:31:35 2001
@@ -780,6 +780,7 @@
 
 void vc_disallocate(unsigned int currcons)
 {
+	spin_lock_irq(&console_lock);
 	if (vc_cons_allocated(currcons)) {
 	    sw->con_deinit(vc_cons[currcons].d);
 	    if (kmalloced)
@@ -788,6 +789,7 @@
 		kfree(vc_cons[currcons].d);
 	    vc_cons[currcons].d = NULL;
 	}
+	spin_unlock_irq(&console_lock);
 }
 
 /*