test/test_mutex_pi: periodically report the number of priority boosts

1 files changed, 2 insertions, 0 deletions

diff --git a/test/test_mutex_pi.c b/test/test_mutex_pi.c
index 1adcf627..ca03b32b 100644
--- a/test/test_mutex_pi.c
+++ b/test/test_mutex_pi.c
@@ -85,6 +85,7 @@
 #include <kern/mutex.h>
 #include <kern/panic.h>
 #include <kern/printk.h>
+#include <kern/syscnt.h>
 #include <kern/thread.h>
 #include <kern/turnstile.h>
 #include <test/test.h>
@@ -304,6 +305,7 @@ test_manage_b(void *arg)
         }
 
         printk("b:%u ", i);
+        syscnt_info("thread_boosts");
     }
 }