Hans, Hans de Goede <hdegoede@xxxxxxxxxx> writes: > On 1/24/20 9:35 AM, Thomas Gleixner wrote: >> Where does that number come from? Just math? > > Yes just math, but perhaps the Intel folks can see if they can find some > datasheet to back this up ? Can you observe the issue on one of the machines in your zoo as well? Thanks, tglx