vmm: Handle mov with zero-extend
[akaros.git] / tests / ping.c
index e56c64c..c3386a5 100644 (file)
@@ -18,6 +18,7 @@
 #include <parlib/timing.h>
 #include <parlib/tsc-compat.h>
 #include <parlib/printf-ext.h>
+#include <parlib/stdio.h>
 #include <parlib/alarm.h>
 #include <ndblib/ndb.h>