Peter Verschoor wrote: > Looking through the dmesg output I see where it left the IRQ at > 51. (It gets rerouted to 19 in the 3.1.1 kernel) Since the bug was > triggered by the new code added to drivers/acpi/pci_irq.c, which in > not present in the 3.0.x tree, it isn't too surprising that everything > works. If you follow the axiom of DO NO HARM then I would say the the > patch is a success as it didn't break anything.
Thanks, Pete. I had forgotten that 3.0 worked for you before (and lacks d7f6169a, "ACPI: fix CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS"). No reproducible bug means no need to fix. Thanks for the gentle reminder. Jonathan -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/20120111192307.GF3005@burratino
