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

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventTo.c1970 tls local
2010 tls
H A DRPCTo.c2115 tls local
2155 tls
H A DRPCFrom.c2592 tls local
2632 tls
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c544 uintptr_t tls = ipc_buffer & ~(((1ul << (12)) - 1ul)); local
549 return (camkes_tls_t *)tls;

Completed in 163 milliseconds