"mtspr 19, 2",     # reg 2 to DAR
                 "mfspr 1, 18",     # DSISR to reg 1
                 "mfspr 2, 19",     # DAR to reg 2
+                "mtspr 48, 3",    # set MMU PID
+                "mtspr 720, 4",    # set MMU PRTBL
                 "lhz 3, 0(1)"      # load some data
               ]
 
         initial_regs = [0] * 32
+        initial_regs[3] = 1
+        initial_regs[4] = 0xDEADBEEF
         #initial_regs[1] = 0xDEADBEEF
 
         #FIXME initial_sprs = {'DSISR': 0x12345678, 'DAR': 0x87654321}
 
             traces += [
                 {'comment': 'microwatt_mmu'},
                 'core.fus.mmu0.alu_mmu0.illegal',
-                'core.fus.mmu0.alu_mmu0.debug0[3:0]'
+                'core.fus.mmu0.alu_mmu0.debug0[3:0]',
+                'core.fus.mmu0.alu_mmu0.mmu.state',
+                'core.fus.mmu0.alu_mmu0.mmu.pid[31:0]',
+                'core.fus.mmu0.alu_mmu0.mmu.prtbl[63:0]'
             ]
 
         write_gtkw("issuer_simulator.gtkw",