sys_change_vcore() (XCC)
[akaros.git] / tests / msr_get_singlecore.c
index 3bfba72..bddc59b 100644 (file)
@@ -9,11 +9,12 @@
 #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>
 #include <rassert.h>
+#include <uthread.h>
 
 #ifdef __sparc_v8__
 # define udelay(x) udelay((x)/2000)
@@ -25,19 +26,6 @@ void *core0_tls = 0;
 uint64_t begin = 0, end = 0;
 volatile bool core1_up = FALSE;
 
-void ghetto_vcore_entry(void);
-struct schedule_ops ghetto_sched_ops = {
-       0, /* init, */
-       ghetto_vcore_entry,
-       0, /* thread_create, */
-       0, /* thread_runnable, */
-       0, /* thread_yield, */
-       0, /* thread_exit, */
-       0, /* preempt_pending, */
-       0, /* spawn_thread, */
-};
-struct schedule_ops *sched_ops = &ghetto_sched_ops;
-
 int main(int argc, char** argv)
 {
        uint32_t vcoreid = vcore_id();
@@ -102,7 +90,7 @@ int main(int argc, char** argv)
        return 0;
 }
 
-void ghetto_vcore_entry(void)
+void vcore_entry(void)
 {
        uint32_t vcoreid = vcore_id();