riscv/model/riscv.sml

1825 fun rec'mcpuid x =
1844 fun write'rec'mcpuid (_,x) = reg'mcpuid x;
1846 fun write'reg'mcpuid (_,x) = rec'mcpuid x;
1848 fun rec'mimpid x =
1855 fun write'rec'mimpid (_,x) = reg'mimpid x;
1857 fun write'reg'mimpid (_,x) = rec'mimpid x;
1859 fun rec'mstatus x =
1878 fun write'rec'mstatus (_,x) = reg'mstatus x;
1880 fun write'reg'mstatus (_,x) = rec'mstatus x;
1882 fun rec'mtdeleg x =
1890 fun write'rec'mtdeleg (_,x) = reg'mtdeleg x;
1892 fun write'reg'mtdeleg (_,x) = rec'mtdeleg x;
1894 fun rec'mip x =
1909 fun write'rec'mip (_,x) = reg'mip x;
1911 fun write'reg'mip (_,x) = rec'mip x;
1913 fun rec'mie x =
1928 fun write'rec'mie (_,x) = reg'mie x;
1930 fun write'reg'mie (_,x) = rec'mie x;
1932 fun rec'mcause x =
1941 fun write'rec'mcause (_,x) = reg'mcause x;
1943 fun write'reg'mcause (_,x) = rec'mcause x;
1945 fun rec'sstatus x =
1963 fun write'rec'sstatus (_,x) = reg'sstatus x;
1965 fun write'reg'sstatus (_,x) = rec'sstatus x;
1967 fun rec'sip x =
1980 fun write'rec'sip (_,x) = reg'sip x;
1982 fun write'reg'sip (_,x) = rec'sip x;
1984 fun rec'sie x =
1997 fun write'rec'sie (_,x) = reg'sie x;
1999 fun write'reg'sie (_,x) = rec'sie x;
2001 fun rec'FPCSR x =
2014 fun write'rec'FPCSR (_,x) = reg'FPCSR x;
2016 fun write'reg'FPCSR (_,x) = rec'FPCSR x;
2020     val sip = ref (rec'sip(BitsN.B(0x0,64)))
2030     val sie = ref (rec'sie(BitsN.B(0x0,64)))
2087     val st = ref (rec'sstatus(BitsN.B(0x0,64)))
2108     val mt = ref (rec'mstatus(reg'mstatus mst))
2800                 (rec'sstatus value,
2824                 (rec'sie value,
2877                 (rec'sip value,
2999                     MachineCSR),rec'mstatus value))))
3016            MachineCSR_mtdeleg_rupd(x0,rec'mtdeleg value)))
3025            MachineCSR_mie_rupd(x0,rec'mie value)))
3098            MachineCSR_mcause_rupd(x0,rec'mcause value)))
3116            MachineCSR_mip_rupd(x0,rec'mip value)))
4009 fun rec'SV_PTE x =
4023 fun write'rec'SV_PTE (_,x) = reg'SV_PTE x;
4025 fun write'reg'SV_PTE (_,x) = rec'SV_PTE x;
4027 fun rec'SV_Vaddr x =
4036 fun write'rec'SV_Vaddr (_,x) = reg'SV_Vaddr x;
4038 fun write'reg'SV_Vaddr (_,x) = rec'SV_Vaddr x;
4042     val va = rec'SV_Vaddr vAddr
4050     val pte = rec'SV_PTE(rawReadData pte_addr)