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

/seL4-l4v-master/seL4/src/smp/
H A Dlock.c21 big_kernel_lock.nodes[CONFIG_MAX_NUM_NODES].value = CLHState_Granted;
H A Dipi.c45 while (big_kernel_lock.node_owners[getCurrentCPUIndex()].next->value != CLHState_Granted) {
/seL4-l4v-master/seL4/include/smp/
H A Dlock.h23 CLHState_Granted = 0, enumerator in enum:__anon1
104 while (big_kernel_lock.node_owners[cpu].next->value != CLHState_Granted) {
128 big_kernel_lock.node_owners[cpu].node->value = CLHState_Granted;

Completed in 91 milliseconds