rendered paste bodysplunkeval:/dev # dmesg | grep -i pci
PCI: PCI BIOS revision 2.10 entry at 0xf0084, last bus=10
PCI: Using configuration type 1
ACPI: PCI Root Bridge [PCI0] (00:00)
PCI: Probing PCI hardware (bus 00)
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
ACPI: PCI Root Bridge [PCI1] (00:02)
PCI: Probing PCI hardware (bus 02)
ACPI: PCI Interrupt Routing Table [\_SB_.PCI1._PRT]
ACPI: PCI Root Bridge [PCI2] (00:07)
PCI: Probing PCI hardware (bus 07)
ACPI: PCI Interrupt Routing Table [\_SB_.PCI2._PRT]
ACPI: PCI Interrupt Link [FAKE] (IRQs) *0, disabled.
ACPI: PCI Interrupt Link [INA0] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA1] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA2] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA3] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA4] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA5] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA6] (IRQs 15) *3
ACPI: PCI Interrupt Link [INA7] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INA8] (IRQs 15) *5
ACPI: PCI Interrupt Link [INA9] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INAA] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INAB] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INAC] (IRQs 15) *0, disabled.
ACPI: PCI Interrupt Link [INAD] (IRQs 15) *10
ACPI: PCI Interrupt Link [INAE] (IRQs 15) *11
PCI: Using ACPI for IRQ routing
PCI: if you experience problems, try using option 'pci=noacpi' or even 'acpi=off'
ACPI: PCI interrupt 0000:00:03.0[A] -> GSI 34 (level, low) -> IRQ 16
ACPI: PCI interrupt 0000:00:04.0[A] -> GSI 29 (level, low) -> IRQ 17
ACPI: PCI interrupt 0000:02:05.0[A] -> GSI 30 (level, low) -> IRQ 18
ACPI: PCI interrupt 0000:07:05.0[A] -> GSI 30 (level, low) -> IRQ 18
ACPI: PCI interrupt 0000:07:06.0[A] -> GSI 22 (level, low) -> IRQ 19
ACPI: PCI interrupt 0000:07:07.0[A] -> GSI 24 (level, low) -> IRQ 20
PCI: Device 00:00 not found by BIOS
PCI: Device 00:01 not found by BIOS
PCI: Device 00:02 not found by BIOS
PCI: Device 00:03 not found by BIOS
PCI: Device 00:78 not found by BIOS
SvrWks OSB4: IDE controller at PCI slot 0000:00:0f.1
ACPI: PCI interrupt 0000:00:04.0[A] -> GSI 29 (level, low) -> IRQ 17
ACPI: PCI interrupt 0000:07:06.0[A] -> GSI 22 (level, low) -> IRQ 19
e1000: 0000:07:06.0: e1000_probe: (PCI:66MHz:64-bit) 00:02:a5:42:74:b6
ACPI: PCI interrupt 0000:07:07.0[A] -> GSI 24 (level, low) -> IRQ 20
e1000: 0000:07:07.0: e1000_probe: (PCI:66MHz:64-bit) 00:02:a5:42:79:44