tcb_t * tls_alloc_arch(void **data, size_t size) { return tls_alloc_variant_2(data, size); }
tcb_t * __alloc_tls(void **data, size_t size) { return tls_alloc_variant_2(data, size); }