On 01/06/2018 03:05 PM, Mark Marshall wrote: > Hi. > > (I've only just subscribed and can't work out how to reply to a message from > before I subscribed (on my phone), sorry) > > In the macro WRMSR_ASM you seem to have lost the wrmsr? > >
Yes. That's a bug noticed by Thomas and I'll fix for update to IBRS patches. Tim
