Lines Matching defs:rec
237 val rec'PRIMASK: BitsN.nbit -> PRIMASK
239 val write'rec'PRIMASK: (BitsN.nbit * PRIMASK) -> BitsN.nbit
241 val rec'PSR: BitsN.nbit -> PSR
243 val write'rec'PSR: (BitsN.nbit * PSR) -> BitsN.nbit
245 val rec'CONTROL: BitsN.nbit -> CONTROL
247 val write'rec'CONTROL: (BitsN.nbit * CONTROL) -> BitsN.nbit
249 val rec'AIRCR: BitsN.nbit -> AIRCR
251 val write'rec'AIRCR: (BitsN.nbit * AIRCR) -> BitsN.nbit
253 val rec'CCR: BitsN.nbit -> CCR
255 val write'rec'CCR: (BitsN.nbit * CCR) -> BitsN.nbit
257 val rec'SHPR2: BitsN.nbit -> SHPR2
259 val write'rec'SHPR2: (BitsN.nbit * SHPR2) -> BitsN.nbit
261 val rec'SHPR3: BitsN.nbit -> SHPR3
263 val write'rec'SHPR3: (BitsN.nbit * SHPR3) -> BitsN.nbit
265 val rec'IPR: BitsN.nbit -> IPR
267 val write'rec'IPR: (BitsN.nbit * IPR) -> BitsN.nbit