Re: patch review: add support for CPUID leaf 0x40000010 TSC/LAPIC frequency detection

[Emile `iMil' Heitor <imil%home.imil.net@localhost>]

On Thu, 27 Feb 2025, Emile `iMil' Heitor wrote:

> Various hypervisors implement CPUID leaf 0x40000010, first created by
> VMware. This leaf forwards TSC and LAPIC frequencies from the host to
> the guest, thus avoiding useless DELAY calls, and lowering the MICROVM
> kernel boot time from ~250ms to 15.
>
> The following patch adds support for reading said CPUID leaf.

Bits I'll fix:

* 4 lines continuation line in aprint_verbose()
* "got tsc" -> "got tsc frequency"

If there are no more objections to the patch, I plan to merge it into
current by the end of the week.

Cheers,

------------------------------------------------------------------------
Emile `iMil' Heitor <imil@{home.imil.net,NetBSD.org}> | https://imil.net