rendered paste bodytim@desktop:~$ cat /var/log/syslog | grep IRQ
Mar 5 16:58:41 localhost kernel: [ 0.000000] ACPI: IRQ0 used by override.
Mar 5 16:58:41 localhost kernel: [ 0.000000] ACPI: IRQ2 used by override.
Mar 5 16:58:41 localhost kernel: [ 0.000000] ACPI: IRQ9 used by override.
Mar 5 16:58:41 localhost kernel: [ 29.664516] ENABLING IO-APIC IRQs
Mar 5 16:58:41 localhost kernel: [ 29.852668] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 7 *10 11 12 14 15)
Mar 5 16:58:41 localhost kernel: [ 29.853075] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 7 10 11 12 14 15) *0, disabled.
Mar 5 16:58:41 localhost kernel: [ 29.853480] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 6 7 10 11 *12 14 15)
Mar 5 16:58:41 localhost kernel: [ 29.853930] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 7 10 *11 12 14 15)
Mar 5 16:58:41 localhost kernel: [ 29.854325] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 6 7 10 *11 12 14 15)
Mar 5 16:58:41 localhost kernel: [ 29.854718] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 6 7 10 11 12 14 15) *0, disabled.
Mar 5 16:58:41 localhost kernel: [ 29.855110] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 6 7 10 11 12 14 15) *0, disabled.
Mar 5 16:58:41 localhost kernel: [ 29.855561] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 6 7 10 *11 12 14 15)
Mar 5 16:58:41 localhost kernel: [ 29.861346] PCI: Using ACPI for IRQ routing
Mar 5 16:58:41 localhost kernel: [ 31.192551] Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing enabled
Mar 5 16:58:41 localhost kernel: [ 34.796092] ACPI: PCI Interrupt 0000:00:1d.0[A] -> GSI 16 (level, low) -> IRQ 16
Mar 5 16:58:41 localhost kernel: [ 34.900307] ACPI: PCI Interrupt 0000:00:1d.1[B] -> GSI 19 (level, low) -> IRQ 17
Mar 5 16:58:41 localhost kernel: [ 35.003842] ACPI: PCI Interrupt 0000:00:1d.2[C] -> GSI 18 (level, low) -> IRQ 18
Mar 5 16:58:41 localhost kernel: [ 35.108708] ACPI: PCI Interrupt 0000:00:1d.7[D] -> GSI 23 (level, low) -> IRQ 19
Mar 5 16:58:41 localhost kernel: [ 35.219374] ACPI: PCI Interrupt 0000:00:1f.1[A] -> GSI 18 (level, low) -> IRQ 18
Mar 5 16:58:41 localhost kernel: [ 37.223406] ACPI: PCI Interrupt 0000:02:08.0[A] -> GSI 20 (level, low) -> IRQ 20
Mar 5 16:58:41 localhost kernel: [ 54.110802] ACPI: PCI Interrupt 0000:01:00.0[A] -> GSI 16 (level, low) -> IRQ 16
Mar 5 16:58:41 localhost kernel: [ 55.117118] ACPI: PCI Interrupt 0000:02:02.0[A] -> GSI 18 (level, low) -> IRQ 18