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