tprintf(fmt, arc_regs.efa);