On Wed, Apr 22, 2020 at 06:46:02PM +0100, Will Deacon wrote: > > +static void scs_check_usage(struct task_struct *tsk) > > +{ > > + static unsigned long highest; > > + unsigned long used = __scs_used(tsk); > > + unsigned long prev; > > + unsigned long curr = highest; > > + > > + while (used > curr) { > > + prev = cmpxchg(&highest, curr, used); > > I think this can be cmpxchg_relaxed(), since we don't care about ordering > here afaict. Sure, I'll change this in v13. Thanks. Sami