[ moving to tech-kern ]

In article <200104161200.f3GC0S214850@sigmet.ghs.com> you write:
>Running statclock at 128 Hz is fine, but this will by default give you a
>schedclock() of 32 Hz, which is much too fast. The scheduler only works
>right with a schedclock of about 16 Hz.
>
>If you are going to run statclock at anything other than about 64 Hz, you
>should probably divide out a schedclock() by yourself, like alpha does.
>(Alpha has a 1 kHz statclock().)

Wouldn't it be better for statclock() to adapt to the value of stathz and
call schedclock() at the right rate?  It looks like this should be fairly
simple for it to do.

-- 
Ben Harris                                                   <bjh21@netbsd.org>
Portmaster, NetBSD/arm26               <URL:http://www.netbsd.org/Ports/arm26/>