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

/seL4-l4v-master/seL4/include/smp/
H A Dlock.h46 clh_qnode_p_t node_owners[CONFIG_MAX_NUM_NODES]; member in struct:clh_lock
57 return big_kernel_lock.node_owners[cpu].ipi == 1;
72 (void *) big_kernel_lock.node_owners[cpu].node,
96 big_kernel_lock.node_owners[cpu].node->value = CLHState_Pending;
100 big_kernel_lock.node_owners[cpu].next = prev;
104 while (big_kernel_lock.node_owners[cpu].next->value != CLHState_Granted) {
128 big_kernel_lock.node_owners[cpu].node->value = CLHState_Granted;
129 big_kernel_lock.node_owners[cpu].node =
130 big_kernel_lock.node_owners[cpu].next;
135 return big_kernel_lock.node_owners[getCurrentCPUInde
[all...]
/seL4-l4v-master/seL4/src/smp/
H A Dlock.c17 big_kernel_lock.node_owners[i].node = &big_kernel_lock.nodes[i];
H A Dipi.c38 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
45 while (big_kernel_lock.node_owners[getCurrentCPUIndex()].next->value != CLHState_Granted) {
121 big_kernel_lock.node_owners[index].ipi = 1;
/seL4-l4v-master/seL4/src/arch/riscv/smp/
H A Dipi.c53 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
67 assert(!(ipiIrq[getCurrentCPUIndex()] == irqInvalid && big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi == 1));
86 (ipiIrq[core_id] == irq_remote_call_ipi && big_kernel_lock.node_owners[core_id].ipi == 0));
/seL4-l4v-master/seL4/src/arch/x86/smp/
H A Dipi.c73 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
95 big_kernel_lock.node_owners[core].ipi = 1;
103 big_kernel_lock.node_owners[index].ipi = 1;
/seL4-l4v-master/seL4/src/arch/arm/smp/
H A Dipi.c76 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;

Completed in 200 milliseconds