Re: [PATCH 1/5] x86, fpu: introduce fpu_load_guest_fpstate()

[Paolo Bonzini]

On Mon, Dec 29, 2025 at 4:58 PM Sean Christopherson <seanjc@xxxxxxxxxx> wrote:
> > Do we need make sure the irq is disabled w/ lockdep ?
>
> Yes please

Sure, no objection.

Paolo