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

/seL4-l4v-master/seL4/src/arch/arm/smp/
H A Dipi.c26 totalCoreBarrier = popcountl(mask);
77 ipi_wait(totalCoreBarrier);
/seL4-l4v-master/seL4/src/arch/riscv/smp/
H A Dipi.c28 totalCoreBarrier = popcountl(mask);
55 ipi_wait(totalCoreBarrier);
/seL4-l4v-master/seL4/src/arch/x86/smp/
H A Dipi.c26 totalCoreBarrier = popcountl(mask);
74 ipi_wait(totalCoreBarrier);
/seL4-l4v-master/seL4/src/smp/
H A Dipi.c42 ipi_wait(totalCoreBarrier);
100 ipi_wait(totalCoreBarrier);
/seL4-l4v-master/seL4/include/smp/
H A Dipi.h24 static volatile word_t totalCoreBarrier; /* number of cores involved in IPI 'in progress' */ variable

Completed in 92 milliseconds