printf-ed wrong

kern/synchprobs/traffic_synch.c

@@ -56,7 +56,7 @@ static void activeinit(void)
   for (int i = 0; i < 12; ++i)
   {
     *(active + i) = NULL;
-    kprintf("array at i: %d", *(active + i));
+    kprintf("array at i: %p", *(active + i));
   }
 }