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

File:

• kernel/arch/sparc64/src/smp/sun4v/smp.c (modified) (3 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.
  *
@@ -45 +45 @@
 #include <func.h>
 #include <typedefs.h>
+#include <synch/synch.h>
 #include <synch/waitq.h>
 #include <print.h>
@@ -438 +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);