Changes in kernel/generic/src/synch/spinlock.c [7e752b2:313b617] in mainline

File:

• kernel/generic/src/synch/spinlock.c (modified) (1 diff)

kernel/generic/src/synch/spinlock.c

@@ -102 +102 @@
                 
                 if (i++ > DEADLOCK_THRESHOLD) {
-                        printf("cpu%u: looping on spinlock %p:%s, "
-                            "caller=%p (%s)\n", CPU->id, lock, lock->name,
-                            (void *) CALLER, symtab_fmt_name_lookup(CALLER));
+                        printf("cpu%u: looping on spinlock %" PRIp ":%s, "
+                            "caller=%" PRIp "(%s)\n", CPU->id, lock, lock->name,
+                            CALLER, symtab_fmt_name_lookup(CALLER));
                         
                         i = 0;