On Wed, May 08, 2024 at 02:34:00PM +0000, Puranjay Mohan wrote: > Pull-849[1] added the support of '&', '|', and '^' to the herd7 tool's > atomics operations. > > Use these in linux-kernel.def to implement atomic_and()/or()/xor() with > all their ordering variants. > > atomic_add_negative() is already available so add its acquire, release, > and relaxed ordering variants. > > [1] https://github.com/herd/herdtools7/pull/849 > > Signed-off-by: Puranjay Mohan <puranjay@xxxxxxxxxx> Acked-by: Andrea Parri <parri.andrea@xxxxxxxxx> Thanks, Andrea