menu: add reset hotkey
[picodrive.git] / cpu / debug_net.c
index 5921354..7fd540b 100644 (file)
@@ -1,4 +1,12 @@
+/*
+ * PDB, the PicoDrive debugger
+ * (C) notaz, 2010
+ *
+ * This work is licensed under the terms of MAME license.
+ * See COPYING file in the top-level directory.
+ */
 #include <stdio.h>
+#include <stdlib.h>
 #include <string.h>
 #include <sys/types.h>
 #include <sys/socket.h>
@@ -112,7 +120,7 @@ int main(int argc, char *argv[])
     }
 
     if (packet1.header.cpuid != packet2.header.cpuid)
-      printf("%d: CPU %d %d\n", packet1.header.cpuid & 0xff, packet2.header.cpuid & 0xff);
+      printf("%d: CPU %d %d\n", cnt, packet1.header.cpuid & 0xff, packet2.header.cpuid & 0xff);
     else if (*(int *)&packet1.header != *(int *)&packet2.header)
       printf("%d: header\n", cnt);