parlib: Fix u32/u64 issue with pvcalarm
[akaros.git] / tests / lock_test.c
index da5e787..6072153 100644 (file)
@@ -27,6 +27,7 @@
 #ifdef __ros__
 
 #include <parlib/parlib.h>
+#include <parlib/stdio.h>
 #include <parlib/vcore.h>
 #include <parlib/timing.h>
 #include <parlib/spinlock.h>