Thomas Gleixner <[email protected]> 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, [email protected] GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." _______________________________________________ devicetree-discuss mailing list [email protected] https://lists.ozlabs.org/listinfo/devicetree-discuss
