Searched refs:tls_regions (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c519 static void *tls_regions[/*? len(threads) - 1 ?*/]; variable
534 void *tls_mem = tls_regions[/*? loop.index - 2?*/];
788 tls_regions[i] = static_tls_regions[i];
790 tls_regions[i] = malloc(sel4runtime_get_tls_size());
791 ZF_LOGF_IF(tls_regions[i] == NULL, "Failed to create tls");

Completed in 30 milliseconds