Fixes list management bug in the ksched
[akaros.git] / tests / msr_get_cores.c
index f05df88..0a92563 100644 (file)
 #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)
@@ -32,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();
@@ -69,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();
@@ -101,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();