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