Lines Matching full:let

28 let rmb = [R \ Noreturn] ; fencerel(Rmb) ; [R \ Noreturn]
29 let wmb = [W] ; fencerel(Wmb) ; [W]
30 let mb = ([M] ; fencerel(Mb) ; [M]) |
34 let gp = po ; [Sync-rcu] ; po?
36 let strong-fence = mb | gp
39 let acq-po = [Acquire] ; po ; [M]
40 let po-rel = [M] ; po ; [Release]
41 let rfi-rel-acq = [Release] ; rfi ; [Acquire]
48 let com = rf | co | fr
59 let dep = addr | data
60 let rwdep = (dep | ctrl) ; [W]
61 let overwrite = co | fr
62 let to-w = rwdep | (overwrite & int)
63 let to-r = addr | (dep ; rfi) | rfi-rel-acq
64 let fence = strong-fence | wmb | po-rel | rmb | acq-po
65 let ppo = to-r | to-w | fence
68 let A-cumul(r) = rfe? ; r
69 let cumul-fence = A-cumul(strong-fence | po-rel) | wmb
70 let prop = (overwrite & ext)? ; cumul-fence* ; rfe?
76 let hb = ppo | rfe | ((prop \ id) & int)
84 let pb = prop ; strong-fence ; hb*
96 let rscs = po ; crit^-1 ; po?
103 let rcu-link = hb* ; pb* ; prop
109 let rec rcu-fence = gp |
117 let rb = prop ; rcu-fence ; hb* ; pb*
126  * let xb = hb | pb | rb