vmm: Use VMM_CTL to set VMM flags (XCC)
[akaros.git] / tests / microb_test.c
index b2dac1d..7bb1eea 100644 (file)
@@ -45,6 +45,7 @@
 #include <parlib/parlib.h>
 #include <parlib/vcore.h>
 #include <parlib/timing.h>
 #include <parlib/parlib.h>
 #include <parlib/vcore.h>
 #include <parlib/timing.h>
+#include <parlib/stdio.h>
 
 static uint32_t __get_pcoreid(void)
 {
 
 static uint32_t __get_pcoreid(void)
 {