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

/seL4-camkes-master/projects/sel4runtime/src/
H A Denv.c33 } thread_lookup_t; typedef in typeref:struct:__anon5
107 static thread_lookup_t *thread_lookup_from_tls_region(unsigned char *tls_region);
372 thread_lookup_t *lookup = thread_lookup_from_tls_region(tls_region);
404 static thread_lookup_t *thread_lookup_from_tls_region(
409 return (thread_lookup_t *)tls_base_from_tls_region(tls_region);
418 + ROUND_UP(sizeof(thread_lookup_t), align)

Completed in 24 milliseconds