Fixes list management bug in the ksched
[akaros.git] / tests / msr_get_cores.c
index bf6c499..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)
@@ -56,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();