tprintf(fmt, sparc_regs.tpc);