Adding select support for basic socket udp receive.
[akaros.git] / tests / pthread_barrier_test.c
index ce7e806..7802c9b 100644 (file)
@@ -1,4 +1,4 @@
-#include <rstdio.h>
+#include <stdio.h>
 #include <pthread.h>
 #include <stdlib.h>
 #include <parlib.h>
@@ -22,7 +22,7 @@ void *thread(void* arg)
                //printf_safe("[A] pthread %d on vcore %d\n", pthread_self()->id, vcore_id());
                pthread_barrier_wait(&barrier);
        }
-       return (void*)(pthread_self()->id);
+       return (void*)(long)pthread_self()->id;
 }
 
 int main(int argc, char** argv)