1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_CMPXCHG_64_H
3#define _ASM_X86_CMPXCHG_64_H
4
5static 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