Thomas Gleixner <t...@linutronix.de> writes:
> And it looks like the irqdomain code is the real culprit.
>
> void irq_set_virq_count(unsigned int count)
> {
> pr_debug("irq: Trying to set virq count to %d\n", count);
>
> BUG_ON(count < NUM_ISA_INTERRUPTS);
> if (count < NR_IRQS)
> irq_virq_count = count;
> }
>
> That looks simply wrong.....
There is a single use of irq_set_virq_count, which is only relevant to
the PS3.
Andreas.
--
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
_______________________________________________
Linuxppc-dev mailing list
Linuxppc-dev@lists.ozlabs.org
https://lists.ozlabs.org/listinfo/linuxppc-dev
