<a name="l1"></a><span class=cF0>The HPET, high precision event timer, is read with </span><a href="/Wb/Kernel/KMisc.HC#l80"><span class=cF4>HPET</span></a><span class=cF0>() and has a frequency of </span><span class=cF4>
<a name="l2"></a></span><a href="/Wb/Kernel/KernelA.HH#l557"><span class=cF4>cnts.HPET_freq</span></a><span class=cF0>. A typical freq value is 14.3 Mhz It might not be available on