On Thurs, 15 Dec 2016, Thomas Gleixner wrote: >See the SDM. It suggests that the deadline is compared to the TSC value. >I don't care how it is implemented, but I very much care about it being >documented in the way it is implemented, which is obviously not the case.
The TSC_DEADLINE behavior definitely diverges from the SDM and we've root caused the issue and are finalizing a fix that addresses the problem. Glad that a software workaround was also possible. We also plan to expand our documentation on what good behavior of a BIOS is as it relates to adjusting TSC at boot (in almost every circumstance you shouldn't do it). The official errata will be forthcoming. Thank you for helping to identify this. Kevin
