CMPXCHG_TYPE     5823 arch/x86/kvm/x86.c #  define CMPXCHG64(ptr, old, new) CMPXCHG_TYPE(u64, ptr, old, new)
CMPXCHG_TYPE     5862 arch/x86/kvm/x86.c 		exchanged = CMPXCHG_TYPE(u8, kaddr, old, new);
CMPXCHG_TYPE     5865 arch/x86/kvm/x86.c 		exchanged = CMPXCHG_TYPE(u16, kaddr, old, new);
CMPXCHG_TYPE     5868 arch/x86/kvm/x86.c 		exchanged = CMPXCHG_TYPE(u32, kaddr, old, new);