Index: db_ctf.c
===================================================================
RCS file: /cvs/src/sys/ddb/db_ctf.c,v
retrieving revision 1.16
diff -u -p -r1.16 db_ctf.c
--- db_ctf.c	14 Aug 2017 19:58:32 -0000	1.16
+++ db_ctf.c	5 Sep 2017 03:54:53 -0000
@@ -31,6 +31,7 @@
 #include <ddb/db_lex.h>
 #include <ddb/db_output.h>
 #include <ddb/db_sym.h>
+#include <ddb/db_access.h>
 
 #include <sys/exec_elf.h>
 #include <sys/ctf.h>
@@ -404,6 +441,7 @@ db_ctf_pprint_ptr(const struct ctf_type 
 	const char		*name, *modif = "";
 	const struct ctf_type	*ref;
 	uint16_t		 kind;
+	unsigned long		 ptr;
 
 	ref = db_ctf_type_by_index(ctt->ctt_type);
 	kind = CTF_INFO_KIND(ref->ctt_info);
@@ -431,7 +469,9 @@ db_ctf_pprint_ptr(const struct ctf_type 
 	if (name != NULL)
 		db_printf("(%s%s *)", modif, name);
 
-	db_printf("0x%lx", addr);
+	ptr = (unsigned long)db_get_value(addr, sizeof(unsigned long), 0);
+
+	db_printf("0x%lx", ptr);
 }
 
 static const char *