server: Store the type of CPU that the client is running on.
diff --git a/server/trace.c b/server/trace.c
index 13a3ddc..3583cc3 100644
--- a/server/trace.c
+++ b/server/trace.c
@@ -105,6 +105,21 @@
}
}
+static void dump_cpu_type( const cpu_type_t *code )
+{
+ switch (*code)
+ {
+#define CASE(c) case CPU_##c: fputs( #c, stderr ); break
+ CASE(x86);
+ CASE(x86_64);
+ CASE(ALPHA);
+ CASE(POWERPC);
+ CASE(SPARC);
+ default: fprintf( stderr, "%u", *code ); break;
+#undef CASE
+ }
+}
+
static void dump_apc_call( const apc_call_t *call )
{
fputc( '{', stderr );
@@ -991,7 +1006,9 @@
dump_uint64( &req->entry );
fprintf( stderr, "," );
fprintf( stderr, " reply_fd=%d,", req->reply_fd );
- fprintf( stderr, " wait_fd=%d", req->wait_fd );
+ fprintf( stderr, " wait_fd=%d,", req->wait_fd );
+ fprintf( stderr, " cpu=" );
+ dump_cpu_type( &req->cpu );
}
static void dump_init_thread_reply( const struct init_thread_reply *req )