On Wed, Feb 28, 2018 at 10:58:11AM +0000, Will Deacon wrote: > On Tue, Feb 27, 2018 at 09:08:31PM +0100, Andrea Parri wrote: > > [+ Will] > > > > I'm not sure how this happened; Will, you at least figure as Reported-by: ;-) > > Thanks, this looks better to me. Have you build an Alpha kernel to check > that the various cmpxchg variants are producing the expected asm? Indeed. Compile tested (only). Andrea > > Will -- To unsubscribe from this list: send the line "unsubscribe linux-alpha" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html