DEV: gdb: use unsigned longs to display pools memory usage

The pools memory usage calculation was done using ints by default, making
it harder to identify large ones. Let's switch to unsigned long for the
size calculations.

diff --git a/dev/gdb/pools.gdb b/dev/gdb/pools.gdb
index 795432e41b947ba3258a506ff6b6ca9d39128bb7..04e11a9631bb71e13a38939d609d0676f7a0c977 100644 (file)
--- a/dev/gdb/pools.gdb
+++ b/dev/gdb/pools.gdb
@@ -14,8 +14,8 @@ define pools_dump
       set $idx=$idx + 1
     end
 
-    set $mem = $total * $e->size
-    printf "list=%#lx pool_head=%p name=%s size=%u alloc=%u used=%u mem=%u\n", $p, $e, $e->name, $e->size, $total, $used, $mem
+    set $mem = (unsigned long)$total * $e->size
+    printf "list=%#lx pool_head=%p name=%s size=%u alloc=%u used=%u mem=%lu\n", $p, $e, $e->name, $e->size, $total, $used, $mem
     set $p = *(void **)$p
   end
 end