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

/seL4-l4v-10.1.1/seL4/src/smp/
H A Dlock.c18 clh_lock_t big_kernel_lock ALIGN(L1_CACHE_LINE_SIZE);
/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h57 } clh_lock_t; typedef in typeref:struct:clh_lock
59 extern clh_lock_t big_kernel_lock;

Completed in 33 milliseconds