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

/seL4-l4v-master/seL4/src/smp/
H A Dlock.c12 clh_lock_t big_kernel_lock ALIGN(L1_CACHE_LINE_SIZE);
/seL4-l4v-master/seL4/include/smp/
H A Dlock.h50 } clh_lock_t; typedef in typeref:struct:clh_lock
52 extern clh_lock_t big_kernel_lock;

Completed in 117 milliseconds