- printf("--\nCPU %d, trace:", cpuid);
- for (i = 0; i < 4; i++)
- printf(" %08x", pc_trace[cpuid][pc_trace_p[cpuid]++ & 3]);
- printf(" %08x\n", packet1.regs[0]);
+ printf("--\nCPU %d\n", cpuid);
+ for (cpuid = 0; cpuid < 2; cpuid++) {
+ printf("trace%d: ", cpuid);
+ for (i = 0; i < 4; i++)
+ printf(" %08x", pc_trace[cpuid][pc_trace_p[cpuid]++ & 3]);
+
+ if (packet1.header.cpuid == cpuid)
+ printf(" %08x", packet1.regs[0]);
+ else if (packet2.header.cpuid == cpuid)
+ printf(" %08x", packet2.regs[0]);
+ printf("\n");
+ }