Lines Matching defs:mt
2060 val mt = ref orig
2062 ( mt := (mstatus_MIE_rupd((!mt),#MIE(v : mstatus)))
2063 ; mt := (mstatus_MPRV_rupd((!mt),#MPRV(v : mstatus)))
2064 ; mt := (mstatus_MIE1_rupd((!mt),#MIE1(v : mstatus)))
2065 ; mt := (mstatus_MPRV1_rupd((!mt),#MPRV1(v : mstatus)))
2066 ; mt := (mstatus_MIE2_rupd((!mt),#MIE2(v : mstatus)))
2067 ; mt := (mstatus_MPRV2_rupd((!mt),#MPRV2(v : mstatus)))
2068 ; mt := (mstatus_MIE3_rupd((!mt),#MIE3(v : mstatus)))
2069 ; mt := (mstatus_MPRV3_rupd((!mt),#MPRV3(v : mstatus)))
2071 then mt := (mstatus_VM_rupd((!mt),#VM(v : mstatus)))
2073 ; mt := (mstatus_MMPRV_rupd((!mt),#MMPRV(v : mstatus)))
2074 ; mt := (mstatus_MFS_rupd((!mt),#MFS(v : mstatus)))
2075 ; mt := (mstatus_MXS_rupd((!mt),#MXS(v : mstatus)))
2076 ; mt :=
2078 ((!mt),
2081 ; (!mt)
2108 val mt = ref (rec'mstatus(reg'mstatus mst))
2110 ( mt := (mstatus_MMPRV_rupd((!mt),#SMPRV(sst : sstatus)))
2111 ; mt := (mstatus_MXS_rupd((!mt),#SXS(sst : sstatus)))
2112 ; mt := (mstatus_MFS_rupd((!mt),#SFS(sst : sstatus)))
2113 ; mt :=
2115 ((!mt),
2117 ; mt := (mstatus_MIE1_rupd((!mt),#SPIE(sst : sstatus)))
2118 ; mt := (mstatus_MIE_rupd((!mt),#SIE(sst : sstatus)))
2119 ; update_mstatus(mst,(!mt))