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

/seL4-l4v-10.1.1/seL4/src/smp/
H A Dlock.c28 big_kernel_lock.nodes[CONFIG_MAX_NUM_NODES].value = CLHState_Granted;
H A Dipi.c48 while (big_kernel_lock.node_owners[getCurrentCPUIndex()].next->value != CLHState_Granted) {
/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h30 CLHState_Granted = 0, enumerator in enum:__anon163
102 while (big_kernel_lock.node_owners[cpu].next->value != CLHState_Granted) {
127 big_kernel_lock.node_owners[cpu].node->value = CLHState_Granted;

Completed in 262 milliseconds