From c60302c1e723236489b58a8c7b53037160ebe599 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Mon, 20 Jun 2005 14:52:00 +0000 Subject: [PATCH] Print re-locking event count if enabled. --- servers/is/dmp_kernel.c | 3 +++ 1 file changed, 3 insertions(+) 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"); } -- 2.44.0