arch/x86/include/asm/cmpxchg_64.h

   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 */