[PATCH 3/6] ARM: plat-versatile: add DT support to FPGA IRQ controller

[Arnd Bergmann]

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