Re: slow clock on DELL Latitude 5501

[Andrew Doran <ad%netbsd.org@localhost>]

On Tue, Apr 21, 2020 at 09:49:45PM +0200, Joerg Sonnenberger wrote:

> I think what we can do is make sure that the ACPI timer or HPET is
> available much earlier and then use that one.  It is both faster and has a
> higher precision than the i8254.

I dunno about the MSR related stuff but I just did something like this, and
made the computation take overhead into account.  On the systems I've tested
the numbers are closer to the rated frequencies.

Andrew