Lines Matching full:let

44 let FailedRMW = RMW \ (domain(rmw) | range(rmw))
45 let Acquire = ACQUIRE \ W \ FailedRMW
46 let Release = RELEASE \ R \ FailedRMW
47 let Mb = MB \ FailedRMW
48 let Noreturn = NORETURN \ W
54 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu
57 let rcu-rscs = let rec
73 let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*
74 let srcu-rscs = ([Srcu-lock] ; carry-srcu-data ; data ; [Srcu-unlock]) & loc
88 let Marked = (~M) | IW | ONCE | RELEASE | ACQUIRE | MB | RMW |
90 let Plain = M \ Marked
93 let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*
94 let addr = carry-dep ; addr
95 let ctrl = carry-dep ; ctrl
96 let data = carry-dep ; data