From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 27 May 2017 17:31:06 +0000 (-0700)
Subject: Extract tableid.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=0322f357aebb8e1c22f1d929f13bf5c555d95bb9

Extract tableid.
---

diff --git a/dump.c b/dump.c
index c737c01d1d..1b7a8ed8e7 100644
--- a/dump.c
+++ b/dump.c
@@ -63,6 +63,15 @@ get_u32(void)
   return x;
 }
 
+static unsigned long long int
+get_u64(void)
+{
+  uint64_t x;
+  memcpy(&x, &data[pos], 8);
+  pos += 8;
+  return x;
+}
+
 static unsigned int
 get_be32(void)
 {
@@ -1290,14 +1299,8 @@ main(int argc, char *argv[])
       pos++;
       pos++;
 
-      /* Offset 31.
-
-         This is the tableId, e.g. -4154297861994971133 would be 0xdca00003.
-         We don't have enough context to validate it. */
-      pos += 4;
-
-      /* Offset 35. */
-      pos += 4;
+      /* Offset 31. */
+      printf("<tableid>%lld</tableid>", get_u64());
 
       dump_title ();
       dump_fonts();