self.ARM_nop(0)
self.ARMrestart()
self.ARMwaitDBG()
print >>sys.stderr,hex(self.ARMget_register(1))
self.ARMset_register(1, r1); # restore R0 and R1
self.ARMset_register(0, r0);
self.ARM_nop(0)
self.ARMrestart()
self.ARMwaitDBG()
print >>sys.stderr,hex(self.ARMget_register(1))
self.ARMset_register(1, r1); # restore R0 and R1
self.ARMset_register(0, r0);