Lines Matching defs:rec
1769 fun rec'PSR x =
1787 fun write'rec'PSR (_,x) = reg'PSR x;
1789 fun write'reg'PSR (_,x) = rec'PSR x;
1791 fun rec'SCTLR x =
1821 fun write'rec'SCTLR (_,x) = reg'SCTLR x;
1823 fun write'reg'SCTLR (_,x) = rec'SCTLR x;
1825 fun rec'HSCTLR x =
1849 fun write'rec'HSCTLR (_,x) = reg'HSCTLR x;
1851 fun write'reg'HSCTLR (_,x) = rec'HSCTLR x;
1853 fun rec'HSR x =
1862 fun write'rec'HSR (_,x) = reg'HSR x;
1864 fun write'reg'HSR (_,x) = rec'HSR x;
1866 fun rec'SCR x =
1882 fun write'rec'SCR (_,x) = reg'SCR x;
1884 fun write'reg'SCR (_,x) = rec'SCR x;
1886 fun rec'NSACR x =
1901 fun write'rec'NSACR (_,x) = reg'NSACR x;
1903 fun write'reg'NSACR (_,x) = rec'NSACR x;
1905 fun rec'HCR x =
1933 fun write'rec'HCR (_,x) = reg'HCR x;
1935 fun write'reg'HCR (_,x) = rec'HCR x;
6280 fun rec'FPSCR x =
6309 fun write'rec'FPSCR (_,x) = reg'FPSCR x;
6311 fun write'reg'FPSCR (_,x) = rec'FPSCR x;