On Fri, Jan 16, 2015 at 3:50 AM, Yingjoe Chen <yingjoe.chen@xxxxxxxxxxxx> wrote: > On Thu, 2015-01-15 at 18:30 +0100, Linus Walleij wrote: >> But the EINT is not a hardware number is it? > > It is a hardware number. eg, to mask irq for the gpio 0 above, we have > to set bit49 in EINT mask_set register. When this irq triggered, it is > reported using EINT status register bit49. OK I get it (finally) then you should indeed use the irqdomain for it... It's just a bit confusing that it begins at offset 49... Yours, Linus Walleij -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
