arena: Connecting importers with sources
[akaros.git] / tests / mcp_halt.c
index d0bc974..4231581 100644 (file)
@@ -10,7 +10,7 @@
 #include <parlib/vcore.h>
 #include <parlib/mcs.h>
 #include <parlib/timing.h>
-#include <parlib/rassert.h>
+#include <parlib/assert.h>
 #include <parlib/event.h>
 #include <parlib/uthread.h>
 
@@ -48,7 +48,7 @@ int main(int argc, char** argv)
         * just mhello showing its warts due to trying to work outside uthread.c */
        ros_syscall_blockon = __ros_syscall_spinon;
 
-       vcore_request(nr_vcores - 1); /* since we already have 1 */
+       vcore_request_total(nr_vcores);
 
        while (1)
                sys_halt_core(0);