Searched refs:node_owners (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h53 clh_qnode_p_t node_owners[CONFIG_MAX_NUM_NODES]; member in struct:clh_lock
65 return big_kernel_lock.node_owners[cpu].ipi == 1;
75 (void *) big_kernel_lock.node_owners[cpu].node, (void **) &prev,
94 big_kernel_lock.node_owners[cpu].node->value = CLHState_Pending;
98 big_kernel_lock.node_owners[cpu].next = prev;
102 while (big_kernel_lock.node_owners[cpu].next->value != CLHState_Granted) {
127 big_kernel_lock.node_owners[cpu].node->value = CLHState_Granted;
128 big_kernel_lock.node_owners[cpu].node =
129 big_kernel_lock.node_owners[cpu].next;
135 return big_kernel_lock.node_owners[getCurrentCPUInde
[all...]
/seL4-l4v-10.1.1/seL4/src/smp/
H A Dlock.c24 big_kernel_lock.node_owners[i].node = &big_kernel_lock.nodes[i];
H A Dipi.c44 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
48 while (big_kernel_lock.node_owners[getCurrentCPUIndex()].next->value != CLHState_Granted) {
121 big_kernel_lock.node_owners[index].ipi = 1;
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c79 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
101 big_kernel_lock.node_owners[core].ipi = 1;
109 big_kernel_lock.node_owners[index].ipi = 1;
/seL4-l4v-10.1.1/seL4/src/arch/arm/smp/
H A Dipi.c69 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;

Completed in 35 milliseconds