On Wed, Mar 22, 2023 at 02:07:40AM +0100, Andrea Parri wrote: > > +let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)* > > > +let carry-dep = (data ; [~ Srcu-unlock] ; rfi)* > > Nit: we use "~M" (no space after the unary operator) in this file, is > there a reason for the different styles? No reason that I know of, just lack of thought (as far as carry-srcu-data is concerned). Feel free to change it. Alan