Fixes set_tls_desc() bug (XCC)
[akaros.git] / tests / msr_get_singlecore.c
index 176c8cb..e15f0f6 100644 (file)
@@ -101,6 +101,7 @@ void vcore_entry(void)
        if (vcoreid == 0) {
                clear_notif_pending(vcoreid);
                set_tls_desc(core0_tls, 0);
+               assert(__vcoreid == 0); /* in case anyone uses this */
                /* Load silly state (Floating point) too */
                pop_ros_tf(&vcpd->notif_tf, vcoreid);
                panic("should never see me!");