> This is expected behavior with the patch. > > cpu0's TSC is way out of sync with every > other CPU's TSC, so the TSC is marked > as a bad timecounter and a different one is > chosen.
Yes, I can see. Just want to add that without your latest patch the kernel chooses the TSC as clocksource, however only the *user* TSC was disabled (cpu1: disabling user TSC (skew=-5028216492)). > Are you running the latest BIOS available > for your machine? No, I don't think I am. Thanks
