Lines Matching defs:data
4987 val data = MemU 32 (address,4)
4992 then LoadWritePC data
4997 then data
5000 (data,
5016 val data = MemU 32 (address,4)
5020 then LoadWritePC data
5025 then data
5028 (data,
5049 val data = MemU_unpriv 32 (address,4)
5054 then data
5057 (data,
5149 val data = MemU 16 (address,2)
5154 then Extend (16,32) (unsigned,data)
5167 val data = MemU 16 (address,2)
5171 then Extend (16,32) (unsigned,data)
5189 val data = MemU_unpriv 16 (address,2)
5194 then Extend (16,32) (unsigned,data)
5438 val data =
5444 then let val x = (address,4) in write'MemU 32 (data,x) end
5468 val data =
5477 write'MemU_unpriv 32 (data,x)
5805 val data = MemA 8 (Rn,1)
5812 ; write'R(BitsN.zeroExtend 32 data,t)
5816 val data = MemA 32 (Rn,4)
5820 (ROR 32 (data,Nat.*(8,BitsN.toNat(BitsN.bits(1,0) Rn))),t)