> It's because the irqs are remapped by the kernel, the number in the
> device tree is a hardware irq number. The number you're printing out is
> a virtual irq number.
> of_irq_to_resource() is doing the remapping for you.
> You can turn on CONFIG_VIRQ_DEBUG and you'll get a file in debugfs that
On Fri, 2009-04-03 at 16:51 +0900, yamazaki seiji wrote:
> I set the Interrupt ID number 17.
> But kernel gives the Interrupt ID number 19.
>
> I wont to know the reasen.
> Please tell me.
It's because the irqs are remapped by the kernel, the number in the
device tree is a hardware irq number. Th
