From mboxrd@z Thu Jan 1 00:00:00 1970 From: arnd@arndb.de (Arnd Bergmann) Date: Thu, 16 Aug 2012 13:50:48 +0000 Subject: [PATCH 3/6] ARM: plat-versatile: add DT support to FPGA IRQ controller In-Reply-To: <1345119357-22702-1-git-send-email-linus.walleij@linaro.org> References: <1345119357-22702-1-git-send-email-linus.walleij@linaro.org> Message-ID: <201208161350.49063.arnd@arndb.de> To: linux-arm-kernel@lists.infradead.org List-Id: linux-arm-kernel.lists.infradead.org On Thursday 16 August 2012, Linus Walleij wrote: > +- irq-start: the u32 hardware IRQ number of the first interrupt handled by > + this FPGA IRQ instance - since there may be many FPGA IRQ controller > + instances, each will have its unique hardware offset number. The irq-start value is a Linux specific invention, the hardware doesn't know anything about these. As long as you depend on specific IRQ numbers to get assigned, I would use something like auxdata to find the start number. When all devices get their IRQ numbers from the device tree, you can move to linear IRQ domains instead of legacy, and let the irq domain code pick the numbers. Arnd From mboxrd@z Thu Jan 1 00:00:00 1970 From: Arnd Bergmann Subject: Re: [PATCH 3/6] ARM: plat-versatile: add DT support to FPGA IRQ controller Date: Thu, 16 Aug 2012 13:50:48 +0000 Message-ID: <201208161350.49063.arnd@arndb.de> References: <1345119357-22702-1-git-send-email-linus.walleij@linaro.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1345119357-22702-1-git-send-email-linus.walleij-QSEj5FYQhm4dnm+yROfE0A@public.gmane.org> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: devicetree-discuss-bounces+gldd-devicetree-discuss=m.gmane.org-uLR06cmDAlY/bJ5BZ2RsiQ@public.gmane.org Sender: "devicetree-discuss" To: Linus Walleij Cc: Will Deacon , devicetree-discuss-uLR06cmDAlY/bJ5BZ2RsiQ@public.gmane.org, arm-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org, Russell King , linux-arm-kernel-IAPFreCvJWM7uuMidbF8XUB+6BGkLq7r@public.gmane.org List-Id: devicetree@vger.kernel.org On Thursday 16 August 2012, Linus Walleij wrote: > +- irq-start: the u32 hardware IRQ number of the first interrupt handled by > + this FPGA IRQ instance - since there may be many FPGA IRQ controller > + instances, each will have its unique hardware offset number. The irq-start value is a Linux specific invention, the hardware doesn't know anything about these. As long as you depend on specific IRQ numbers to get assigned, I would use something like auxdata to find the start number. When all devices get their IRQ numbers from the device tree, you can move to linear IRQ domains instead of legacy, and let the irq domain code pick the numbers. Arnd