From: Ben Gras <ben@minix3.org>
Date: Mon, 20 Jun 2005 14:52:00 +0000 (+0000)
Subject: Print re-locking event count if enabled.
X-Git-Tag: v3.1.0~717
X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/style.css?a=commitdiff_plain;h=c60302c1e723236489b58a8c7b53037160ebe599;p=minix.git

Print re-locking event count if enabled.
---

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 33bb1d2c0..fd5e60fd6 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -295,6 +295,9 @@ PUBLIC void kenv_dmp()
     printf("- nr_tasks:     %3u\n", kinfo.nr_tasks); 
     printf("- release:      %.6s\n", kinfo.release); 
     printf("- version:      %.6s\n", kinfo.version); 
+#if ENABLE_K_LOCKCHECK
+    printf("- relocking:    %d\n", kinfo.relocking); 
+#endif
     printf("\n");
 }