tprintf(fmt, arm_regs.ARM_pc);