tprintf(fmt, avr32_regs.pc);