Print re-locking event count if enabled.

2005-06-20 14:52:00 +00:00 · 2005-06-20 14:52:00 +00:00 · c60302c1e7
parent 538e8ba2f1
commit c60302c1e7
1 changed files with 3 additions and 0 deletions
--- 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");
 }