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