Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision 05e2a7ad64a4c5a40748a558c64ca76a66934a0c)
+++ generic/src/synch/spinlock.c	(revision 7a8c866a8ae0f53b6de307a56f01c3c70e10bbd7)
@@ -64,5 +64,5 @@
 {
 	count_t i = 0;
-	__address caller = ((__address *) &sl)[-1];
+	__address caller = CALLER(sl);
 	char *symbol;
 	bool deadlock_reported = false;