Fixes list management bug in the ksched
[akaros.git] / tests / msr_get_cores.c
index 845b9d2..0a92563 100644 (file)
@@ -17,7 +17,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>
@@ -33,19 +33,6 @@ mcs_barrier_t b;
 void *core0_tls = 0;
 uint64_t begin = 0, end = 0;
 
-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();
@@ -70,10 +57,6 @@ int main(int argc, char** argv)
        core0_tls = get_tls_desc(0);
        /* Need to save our floating point state somewhere (like in the
         * user_thread_tcb so it can be restarted too */
-       /* don't forget to enable notifs on vcore0 at some point */
-       struct preempt_data *vcpd;
-       vcpd = &__procdata.vcore_preempt_data[0];
-       vcpd->notif_enabled = TRUE;
 /* end: stuff userspace needs to do before switching to multi-mode */
 
        begin = read_tsc();
@@ -102,7 +85,7 @@ int main(int argc, char** argv)
        return 0;
 }
 
-void ghetto_vcore_entry(void)
+void vcore_entry(void)
 {
        uint32_t vcoreid = vcore_id();