On 01/07/2018 04:03 AM, Borislav Petkov wrote:> > WRMSR as a name is good enough.> It alias with wrmsr instruction and didn'tbuild correctly. So I'll keep it as WRMSR_ASM.Tim