Fixes set_tls_desc() bug (XCC)
[akaros.git] / tests / eth_audio.c
index 6ce01c9..7e74b1c 100644 (file)
@@ -120,6 +120,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);
                printf("should never see me!");