> +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? Andrea
> +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? Andrea