[PATCH] Statclock aliasing by LAPIC

[b. f.]

>About the slowness -- I'm fine with whatever additional source to
>LAPIC we would eventually use thus would you feel better if i8254 is
>used replacing atrtc?
...
>the new things it does introduce are secondarilly (but still: I'm fine
>with whatever second source is picked up for statclock, profclock) if
>you really see a concern wrt atrtc slowness.

Would it be possible to to split kern.timecounter.hardware into
several tunables, and make the choice of hardware (and perhaps
frequency) configurable, at least to an extent, for each of the
clocks?

b.