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