Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision d0c82c531ddd91c5c32e571f69768c044cf234b2)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 720db0cb39d8d5d31bf09f36c79eb82c68f03d68)
@@ -143,6 +143,8 @@
 	uint64_t end_cycle = get_cycle();
 	
+	irq_spinlock_lock(&exctbl_lock, false);
 	exc_table[n].cycles += end_cycle - begin_cycle;
 	exc_table[n].count++;
+	irq_spinlock_unlock(&exctbl_lock, false);
 	
 	/* Do not charge THREAD for exception cycles */