Changes in kernel/arch/sparc64/src/smp/sun4v/smp.c [5ea37b1:ba7371f9] in mainline

File:

• kernel/arch/sparc64/src/smp/sun4v/smp.c (modified) (2 diffs)

kernel/arch/sparc64/src/smp/sun4v/smp.c

@@ -1 +1 @@
 /*
  * Copyright (c) 2006 Jakub Jermar
- * Copyright (c) 2009 Pavel Rimsky
+ * Copyright (c) 2009 Pavel Rimsky 
  * All rights reserved.
  *
@@ -439 +439 @@
         if (waitq_sleep_timeout(&ap_completion_wq, 10000000, SYNCH_FLAGS_NONE) ==
             ESYNCH_TIMEOUT)
-                printf("%s: waiting for processor (cpuid = %" PRIu64 ") timed out\n",
+                printf("%s: waiting for processor (cpuid = %" PRIu32 ") timed out\n",
                     __func__, cpuid);