On Mon, Nov 24, 2014 at 8:35 AM, Marc Zyngier <marc.zyngier at arm.com> wrote: > +/* > + * We need a value to serve as a irq-type for LPIs. Choose one that will > + * hopefully pique the interest of the reviewer. > + */ > +#define GIC_IRQ_TYPE_LPI 0xa110c8ed Ok, my interest is piqued. Why this value? Stuart