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

/seL4-l4v-master/seL4/include/smp/
H A Dlock.h60 static inline void *sel4_atomic_exchange(void *ptr, bool_t function
98 prev = sel4_atomic_exchange(&big_kernel_lock.head, irqPath, cpu, __ATOMIC_ACQ_REL);

Completed in 97 milliseconds