Re: [Xen-devel] [PATCH v4 14/18] xen/arm: IRQ: Store IRQ type in arch_irq_desc

[Julien Grall <julien.grall@xxxxxxxxxx>]

On 02/05/14 09:57, Ian Campbell wrote:
 > But CPU0 must have been online when we setup the IRQ.
> IOW if CPU==0 then isn't
>          desc->arch.type = per_cpu(local_irq_desc, 0)[irq].arch.type;
> equivalent to
>          desc->arch.type = desc->arch.type
>
> ?
Hmmmm yes, I forgot this case. I will update the patch in the next version.

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel