From 5fdfd14beb86088faa058bcd6c2b27bb41a1a510 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Mon, 9 Jun 2014 15:25:57 +0200
Subject: ddb: use db_thread_stat to format the flags

* ddb/db_print.c (db_print_thread): Use db_thread_stat to format the
flags.
---
 ddb/db_print.c | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'ddb/db_print.c')

diff --git a/ddb/db_print.c b/ddb/db_print.c
index 1cbff64..e711ab6 100644
--- a/ddb/db_print.c
+++ b/ddb/db_print.c
@@ -194,12 +194,8 @@ db_print_thread(
 			  2*sizeof(vm_offset_t), thread);
 	    else
 		db_printf("(%0*X) ", 2*sizeof(vm_offset_t), thread);
-	    db_printf("%c%c%c%c%c",
-		      (thread->state & TH_RUN)  ? 'R' : ' ',
-		      (thread->state & TH_WAIT) ? 'W' : ' ',
-		      (thread->state & TH_SUSP) ? 'S' : ' ',
-		      (thread->state & TH_UNINT)? 'N' : ' ',
-		      db_thread_fp_used(thread) ? 'F' : ' ');
+	    char status[8];
+	    db_printf("%s", db_thread_stat(thread, status));
 	    if (thread->state & TH_SWAPPED) {
 		if (thread->swap_func) {
 		    db_printf("(");
-- 
cgit v1.2.3