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

/seL4-l4v-master/seL4/include/smp/
H A Dipi.h19 word_t globalsense; member in struct:__anon161
35 word_t localsense = ipiSyncBarrier.globalsense;
39 ipiSyncBarrier.globalsense =
40 ~ipiSyncBarrier.globalsense;
43 while (localsense == ipiSyncBarrier.globalsense) {

Completed in 31 milliseconds