On 03/28/2018 03:08 AM, Borislav Petkov wrote:> I guess now that the rdmsr* side does this, you probably should convert> the wrmsr* side as well.Yes indeed, thanks for the reminder.