ether: Add a field for the driver_name
[akaros.git] / tests / pthread_barrier_test.c
index 339fc20..dd2d303 100644 (file)
@@ -1,4 +1,4 @@
-#include <stdio.h>
+#include <parlib/stdio.h>
 #include <pthread.h>
 #include <stdlib.h>
 #include <parlib/parlib.h>
@@ -46,9 +46,10 @@ int main(int argc, char** argv)
                perror("Init threads/malloc");
        if (nr_vcores) {
                /* Only do the vcore trickery if requested */
-               pthread_can_vcore_request(FALSE);       /* 2LS won't manage vcores */
+               parlib_never_yield = TRUE;
                pthread_mcp_init();                                     /* gives us one vcore */
-               vcore_request(nr_vcores - 1);           /* ghetto incremental interface */
+               vcore_request_total(nr_vcores);
+               parlib_never_vc_request = TRUE;
                for (int i = 0; i < nr_vcores; i++) {
                        printd("Vcore %d mapped to pcore %d\n", i,
                                   __procinfo.vcoremap[i].pcoreid);