1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_CMPXCHG_64_H
3 #define _ASM_X86_CMPXCHG_64_H
5 static inline void set_64bit(volatile u64
*ptr
, u64 val
)
10 #define arch_cmpxchg64(ptr, o, n) \
12 BUILD_BUG_ON(sizeof(*(ptr)) != 8); \
13 cmpxchg((ptr), (o), (n)); \
16 #define arch_cmpxchg64_local(ptr, o, n) \
18 BUILD_BUG_ON(sizeof(*(ptr)) != 8); \
19 cmpxchg_local((ptr), (o), (n)); \
22 #define system_has_cmpxchg_double() boot_cpu_has(X86_FEATURE_CX16)
24 #endif /* _ASM_X86_CMPXCHG_64_H */