On Fri, Aug 2, 2019 at 1:47 PM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 02/08/19 09:47, Anup Patel wrote: > > + /* VCPU interrupts */ > > + unsigned long irqs_pending; > > + unsigned long irqs_pending_mask; > > + > > This deserves a comment on the locking policy (none for producer, > vcpu_lock for consumers). Yes, I will certainly add comments about our approach in asm/kvm_host.h Regards, Anup
