[committed mach 2/2] kern: avoid hardcoding the lowest priority

The number of priorities has been changed from 32 to 50 in 6a234201081156e6d5742e7eeabb68418b518fad. * kern/syscall_subr.c (thread_depress_priority): Avoid hardcoding the lowest priority. --- kern/syscall_subr.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kern/syscall_

[committed mach 1/2] kern: disable stack allocation counters by default

Disable the stack allocation counters by default. Casual checking revealed that the hits-to-miss ratio is excellent. * kern/thread.c (stack_alloc_{hits,misses,max}): Move variables... * kern/counters.c: ... here, and add the usual counter prefix. * kern/counters.h: New declarations. --- kern/cou