Fixes 4.6.1 compiler build with gcc 4.7 (XCC)
[akaros.git] / tests / manycore_test.c
index b286e41..09ea55b 100644 (file)
@@ -1,16 +1,18 @@
-#include <rstdio.h>
+#include <stdio.h>
 #include <assert.h>
 #include <vcore.h>
 #include <parlib.h>
 #include <mcs.h>
+#include <uthread.h>
 
 mcs_barrier_t b;
 
 void do_work_son(int vcoreid)
 {
-       int cpuid = sys_getcpuid();
+       int pcoreid = sys_getpcoreid();
        int pid = sys_getpid();
-       printf("Hello! My Process ID: %d My VCoreID: %d My CPU: %d\n", pid, vcoreid, cpuid);
+       printf("Hello! My Process ID: %d My VCoreID: %d My CPU: %d\n", pid, vcoreid,
+              pcoreid);
        mcs_barrier_wait(&b,vcoreid);
 }