Mark Kettenis <mark.kette...@xs4all.nl> wrote: > So really the question is whether we should register the "tick" > timecounter if we also provide the "stick" or "sys_tick" timecounter. > > Personaly I think the code we currently have is fine. If you make the > sconscious decision to use "tick" on a system that provides "stick" or > "sys_tick" you'd better make the conscious decision not to use the CPU > frequency scaling stuff.
Right. Is it really any different than choosing a clock with known or unknown quirks on an x86 machine: kern.timecounter.choice=i8254(0) tsc(2000) acpihpet0(1000) acpitimer0(1000)