sys_change_vcore() (XCC)
[akaros.git] / tests / msr_get_singlecore.c
index 7e4864d..bddc59b 100644 (file)
@@ -9,7 +9,7 @@
 #include <ros/procdata.h>
 #include <ros/bcq.h>
 #include <arch/arch.h>
-#include <rstdio.h>
+#include <stdio.h>
 #include <vcore.h>
 #include <mcs.h>
 #include <timing.h>