Searched defs:cmpxchg128 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dasm_inlines_arch.h52 static inline int cmpxchg128(volatile uint64_t dest[2], uint64_t old_top, uint64_t old_bot, uint64_t new_top, uint64_t new_bot) function
/barrelfish-2018-10-04/include/arch/k1om/barrelfish_kpi/
H A Dasm_inlines_arch.h95 static inline int cmpxchg128(volatile uint64_t dest[2], uint64_t old_top, uint64_t old_bot, uint64_t new_top, uint64_t new_bot) function

Completed in 34 milliseconds