On Mon, Oct 24, 2022 at 08:26:30AM -0500, Scott Cheloha wrote: > On Sun, Oct 23, 2022 at 02:07:12PM +0200, Kalabic S. wrote: > > [...] > > > machdep.cpuvendor=GenuineIntel > > machdep.cpuid=0x306a9 > > machdep.cpufeature=0x1fbbfbff > > machdep.tscfreq=745206414 > > machdep.invarianttsc=1 > > And yeah, your TSC frequency is astoundingly high. Way higher than > anything I have ever seen.
Sorry, what I should have said was: that TSC frequency is too *low* for your machine. I miscounted the number of decimal digits. To be clear: the measured TSC frequency of 745 MHz seems too low.