Post by Bonita Montero Is the IA32_TSC_AUX_MSR initialized by the operating system per core?
which OS ? some may not even touch MSR C000_0103h and keep its BIOS setting. But Yes, if the OS is at all aware of hardware features then it may initialize TSCs different for each core. __ wolfgang