1 if (x86_io.iov_len == sizeof(i386_regs))
2 	tprintf(fmt, (unsigned long) i386_regs.eip);
3 else
4 	tprintf(fmt, (unsigned long) x86_64_regs.rip);
5