Searched refs:l4util_cmpxchg64 (Results 1 – 1 of 1) sorted by relevance
50 l4util_cmpxchg64(volatile l4_uint64_t * dest,335 l4util_cmpxchg64(volatile l4_uint64_t * dest, in l4util_cmpxchg64() function
Completed in 3 milliseconds