From e6337905e5c9c9f6cb9043245946b223544d16dc Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Fri, 17 Nov 2006 16:41:56 +0000
Subject: [PATCH] Fix the output format of MI ddb watches in 'show watch' on
 64-bit platforms.

---
 sys/ddb/db_watch.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/sys/ddb/db_watch.c b/sys/ddb/db_watch.c
index 6783094ff027..b2be970715ad 100644
--- a/sys/ddb/db_watch.c
+++ b/sys/ddb/db_watch.c
@@ -168,11 +168,19 @@ db_list_watchpoints()
 	    return;
 	}
 
+#ifdef __LP64__
+	db_printf(" Map                Address          Size\n");
+#else
 	db_printf(" Map        Address  Size\n");
+#endif
 	for (watch = db_watchpoint_list;
 	     watch != 0;
 	     watch = watch->link)
+#ifdef __LP64__
+	    db_printf("%s%16p  %16lx  %lx\n",
+#else
 	    db_printf("%s%8p  %8lx  %lx\n",
+#endif
 		      db_map_current(watch->map) ? "*" : " ",
 		      (void *)watch->map, (long)watch->loaddr,
 		      (long)watch->hiaddr - (long)watch->loaddr);