tim@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