CMPXCHG64        5823 arch/x86/kvm/x86.c #  define CMPXCHG64(ptr, old, new) CMPXCHG_TYPE(u64, ptr, old, new)
CMPXCHG64        5825 arch/x86/kvm/x86.c #  define CMPXCHG64(ptr, old, new) \