Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision fc81981cb868cb75a16a2c5601de08457995187c)
+++ kernel/generic/src/interrupt/interrupt.c	(revision cae54046b82d245b0cf3dad7ced8e4d5d09d006e)
@@ -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 */