tprintf(fmt, i386_regs.eip);