parlib: Fix u32/u64 issue with pvcalarm
[akaros.git] / tests / futex_timeout.c
index fbbe46f..370bb0f 100644 (file)
@@ -1,7 +1,7 @@
 #include <stdio.h>
 #include <stdlib.h>
-#include <parlib.h>
-#include <vcore.h>
+#include <parlib/parlib.h>
+#include <parlib/vcore.h>
 #include <futex.h>
 #include <pthread.h>
 
@@ -18,6 +18,7 @@ void *handler(void *arg) {
        printf("Begin thread: %d\n", id);
     futex(&var, FUTEX_WAIT, 0, &timeout, NULL, 0);
        printf("End thread: %d\n", id);
+       return 0;
 }
 
 int main(int argc, char **argv)