BIOS> dmap 0x44005000 0x44005000
mapping 0x44005000->0x44005000 in slot 9 [0x446616e8]
BIOS> dmapi 0x44005000
BIOS> mmuwrite 0x44005000 0x01020304
[TLB miss handler] Refilling DTLB with mapping 0x44005000->0x44005000
BIOS> mr 0x44005000 4
Memory dump:
0x44005000  01 02 03 04                                      ....            
BIOS> mmuread 0x44005000
0x44005000 contains 0x01020304