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). Paolo
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). Paolo