Updates bootable USB tools
[akaros.git] / tests / microb_test.c
index fac8789..1b3e6f4 100644 (file)
@@ -56,10 +56,9 @@ static uint32_t __get_pcoreid(void)
 void set_tlsdesc_test(unsigned long nr_loops)
 {
 #ifdef __i386__
-       extern void** vcore_thread_control_blocks;
        uint32_t vcoreid = vcore_id();
        void *mytls = get_tls_desc(vcoreid);
-       void *vctls = vcore_thread_control_blocks[vcoreid];
+       void *vctls = get_vcpd_tls_desc(vcoreid);
        segdesc_t tmp = SEG(STA_W, (uint32_t)vctls, 0xffffffff, 3);
        uint32_t gs = (vcoreid << 3) | 0x07;
     for (int i = 0; i < nr_loops; i++) {