Re: [PATCH] xen: Introduce cmpxchg64() and guest_cmpxchg64()

[Jan Beulich <jbeulich@xxxxxxxx>]

On 17.08.2020 13:50, Roger Pau Monné wrote:
> FWIW x86 already has a specific handler for 128bit values: cmpxchg16b.
> Maybe it would be better to name this cmpxchg8b? Or rename the
> existing one to cmpxchg128 for coherence.

cmpxchg16b() is named after the underlying insn. If we gain
cmpxchg64(), then I agree this one wants renaming to cmpxchg128()
at the same time.

Jan