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

/seL4-l4v-master/seL4/include/smp/
H A Dipi.h22 } ipiSyncBarrier = {0}; /* IPI barrier for remote call synchronization */ variable in typeref:struct:__anon161
35 word_t localsense = ipiSyncBarrier.globalsense;
37 if (__atomic_fetch_add(&ipiSyncBarrier.count, 1, __ATOMIC_ACQ_REL) == cores) {
38 ipiSyncBarrier.count = 0;
39 ipiSyncBarrier.globalsense =
40 ~ipiSyncBarrier.globalsense;
43 while (localsense == ipiSyncBarrier.globalsense) {

Completed in 25 milliseconds