Index: generic/src/interrupt/interrupt.c
===================================================================
--- generic/src/interrupt/interrupt.c	(revision adb2ebf8ae233e612225d6bd9fe2229d2b8e4d67)
+++ generic/src/interrupt/interrupt.c	(revision 36e7ee98b33f87f4fd7451460ffe749f290f85b7)
@@ -41,5 +41,5 @@
 } exc_table[IVT_ITEMS];
 
-static spinlock_t exctbl_lock;
+SPINLOCK_INITIALIZE(exctbl_lock);
 
 /** Register exception handler
@@ -125,6 +125,4 @@
 	int i;
 
-	spinlock_initialize(&exctbl_lock, "exctbl_lock");
-
 	for (i=0;i < IVT_ITEMS; i++)
 		exc_register(i, "undef", exc_undef);