parlib: have 2LS libraries #include parlib/stdio.h
[akaros.git] / user / vmm / vmexit.c
index 22832f9..0cbff79 100644 (file)
@@ -10,7 +10,7 @@
 #include <vmm/vmm.h>
 #include <parlib/arch/trap.h>
 #include <parlib/bitmask.h>
-#include <stdio.h>
+#include <parlib/stdio.h>
 
 static bool pir_notif_is_set(struct vmm_gpcore_init *gpci)
 {