diff options
| -rw-r--r-- | sys/arch/i386/conf/LOCKCOUNT | 2 | ||||
| -rw-r--r-- | sys/lockcount/log.c | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/sys/arch/i386/conf/LOCKCOUNT b/sys/arch/i386/conf/LOCKCOUNT index 4c639327ab2..b2f497cfad6 100644 --- a/sys/arch/i386/conf/LOCKCOUNT +++ b/sys/arch/i386/conf/LOCKCOUNT @@ -224,7 +224,7 @@ options WSDISPLAY_CUSTOM_OUTPUT # color customization from wsconsctl(8) #options WS_DEFAULT_BG=WSCOL_BLACK #options WS_DEFAULT_COLATTR="(0)" #options WS_DEFAULT_MONOATTR="(0)" -options WS_KERNEL_FG=WSCOL_BLUE +options WS_KERNEL_FG=WSCOL_RED #options WS_KERNEL_BG=WSCOL_BLACK #options WS_KERNEL_COLATTR="" #options WS_KERNEL_MONOATTR="" diff --git a/sys/lockcount/log.c b/sys/lockcount/log.c index ecda3313100..43ba27ee1eb 100644 --- a/sys/lockcount/log.c +++ b/sys/lockcount/log.c @@ -8,6 +8,9 @@ u_int64_t lockcounter; void lockcount_locked(void){ lockcounter += 1; + if(lockcounter%10000==0){ + printf("Locks acquired: %llu\n", lockcounter); + } } #endif /* LOCKCOUNT */
\ No newline at end of file |
