Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision f43d8cef17ca84bb86ea598fe7053f90fc5d9fa0)
+++ kernel/generic/include/synch/spinlock.h	(revision 8a5534603d4acb29a283b131f0fae041dc2ed0b2)
@@ -124,7 +124,10 @@
 
 typedef struct {
-	spinlock_t lock;         /**< Spinlock */
-	bool guard;              /**< Flag whether ipl is valid */
-	ipl_t ipl;               /**< Original interrupt level */
+	spinlock_t lock;              /**< Spinlock */
+	bool guard;                   /**< Flag whether ipl is valid */
+	ipl_t ipl;                    /**< Original interrupt level */
+#ifdef CONFIG_DEBUG_SPINLOCK
+	_Atomic(struct cpu *) owner;  /**< Which cpu currently owns this lock */
+#endif
 } irq_spinlock_t;