1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_X86_CMPXCHG_64_H 3 #define _ASM_X86_CMPXCHG_64_H 4 5 static inline void set_64bit(volatile u64 *ptr, u64 val) 6 { 7 *ptr = val; 8 } 9 10 #define arch_cmpxchg64(ptr, o, n) \ 11 ({ \ 12 BUILD_BUG_ON(sizeof(*(ptr)) != 8); \ 13 arch_cmpxchg((ptr), (o), (n)); \ 14 }) 15 16 #define arch_cmpxchg64_local(ptr, o, n) \ 17 ({ \ 18 BUILD_BUG_ON(sizeof(*(ptr)) != 8); \ 19 arch_cmpxchg_local((ptr), (o), (n)); \ 20 }) 21 22 #define system_has_cmpxchg_double() boot_cpu_has(X86_FEATURE_CX16) 23 24 #endif /* _ASM_X86_CMPXCHG_64_H */ 25