On Sat, Sep 09, 2017 at 04:20:14PM +0200, Markus Trippelsdorf wrote: > > # rdmsr -a 0x00000410 > > 3fffffff > 0 > 0 > 0
WTF?! Those should be equal on every CPU. Yikes, we need to pay attention to those... Grrr. # wrmsr -a 0x00000410 0x3ffffbff should fix your issue. -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.