diff --git a/src/etc/gdb_rust_pretty_printing.py b/src/etc/gdb_rust_pretty_printing.py
index f93f3490215..38c9fbf9828 100755
--- a/src/etc/gdb_rust_pretty_printing.py
+++ b/src/etc/gdb_rust_pretty_printing.py
@@ -70,6 +70,8 @@ class GdbValue(rustpp.Value):
         return child
 
     def as_integer(self):
+        if self.gdb_val.type.code == gdb.TYPE_CODE_PTR:
+            return int(str(self.gdb_val), 0)
         return int(self.gdb_val)
 
     def get_wrapped_value(self):