[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH v9 04/10] xen/arm: support irq delivery to vcpu > 0

Hi Stefano,

On 07/24/2014 06:33 PM, Stefano Stabellini wrote:
> diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c
> index 5f45cd2..02e5985 100644
> --- a/xen/arch/arm/vgic.c
> +++ b/xen/arch/arm/vgic.c
> @@ -400,6 +400,17 @@ out:
>          smp_send_event_check_mask(cpumask_of(v->processor));
>  }
> +void vgic_vcpu_inject_spi(struct domain *d, unsigned int irq)

I know I've already acked this patch... I was looking to the code, and I
found the name of this function odd.

Actually we are injecting the spis to the domain d, not a specific VCPU.
The correct name would be vgic_domain_inject_spi.

Anyway, I'm perfectly fine to send a follow-up later.


Julien Grall

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.