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