Process refcnt optimizations
[akaros.git] / tests / msr_dumb_while.c
index aff755c..dc0e3c7 100644 (file)
@@ -3,10 +3,11 @@
  * This requests the max_vcores in the system, then just dumbly while loops.
  * If you send it an NE_ALARM, it'll print its TSC. */
 
-#include <rstdio.h>
+#include <stdio.h>
 #include <vcore.h>
 #include <arch/arch.h>
 #include <event.h>
+#include <uthread.h>
 
 int main(int argc, char** argv)
 {