Lines Matching defs:rec
625 val rec'PSR: BitsN.nbit -> PSR
627 val write'rec'PSR: (BitsN.nbit * PSR) -> BitsN.nbit
629 val rec'SCTLR: BitsN.nbit -> SCTLR
631 val write'rec'SCTLR: (BitsN.nbit * SCTLR) -> BitsN.nbit
633 val rec'HSCTLR: BitsN.nbit -> HSCTLR
635 val write'rec'HSCTLR: (BitsN.nbit * HSCTLR) -> BitsN.nbit
637 val rec'HSR: BitsN.nbit -> HSR
639 val write'rec'HSR: (BitsN.nbit * HSR) -> BitsN.nbit
641 val rec'SCR: BitsN.nbit -> SCR
643 val write'rec'SCR: (BitsN.nbit * SCR) -> BitsN.nbit
645 val rec'NSACR: BitsN.nbit -> NSACR
647 val write'rec'NSACR: (BitsN.nbit * NSACR) -> BitsN.nbit
649 val rec'HCR: BitsN.nbit -> HCR
651 val write'rec'HCR: (BitsN.nbit * HCR) -> BitsN.nbit
1038 val rec'FPSCR: BitsN.nbit -> FPSCR
1040 val write'rec'FPSCR: (BitsN.nbit * FPSCR) -> BitsN.nbit