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

Reply via email to