On Thu, Sep 29, 2022 at 8:14 PM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > I think it's easier to just do both sides than to wait for > clarifications. I'll take a look. Ok, I have a first attempt at patches to move IA32_SPEC_CTRL (but not SSBD) to assembly. I need some time to test them though, so expect them towards the end of the merge window. Paolo