PCI devices found:
Bus 0, device 0, function 0:
Class 0600: PCI device 8086:1130 (rev 4).
Prefetchable 32 bit memory at 0xf8000000 [0xfbffffff].
Bus 0, device 1, function 0:
Class 0604: PCI device 8086:1131 (rev 4).
Master Capable. No bursts. Min Gnt=8.
Bus 0, device 30, function 0:
Class 0604: PCI device 8086:244e (rev 2).
Master Capable. No bursts. Min Gnt=6.
Bus 0, device 31, function 0:
Class 0601: PCI device 8086:2440 (rev 2).
Bus 0, device 31, function 1:
Class 0101: PCI device 8086:244b (rev 2).
I/O at 0xb800 [0xb80f].
Bus 0, device 31, function 3:
Class 0c05: PCI device 8086:2443 (rev 2).
IRQ 10.
I/O at 0xe800 [0xe80f].
Bus 1, device 0, function 0:
Class 0300: PCI device 102b:0525 (rev 4).
IRQ 11.
Master Capable. Latency=64. Min Gnt=16.Max Lat=32.
Prefetchable 32 bit memory at 0xf6000000 [0xf7ffffff].
Non-prefetchable 32 bit memory at 0xf5000000 [0xf5003fff].
Non-prefetchable 32 bit memory at 0xf4800000 [0xf4ffffff].
Bus 2, device 9, function 0:
Class 0200: PCI device 10b7:9055 (rev 48).
IRQ 11.
Master Capable. Latency=32. Min Gnt=10.Max Lat=10.
I/O at 0xd800 [0xd87f].
Non-prefetchable 32 bit memory at 0xf4000000 [0xf400007f].
Bus 2, device 12, function 0:
Class 0280: PCI device e159:0001 (rev 0).
IRQ 255.
Master Capable. Latency=32. Min Gnt=1.Max Lat=128.
I/O at 0xd400 [0xd4ff].
Non-prefetchable 32 bit memory at 0xf3800000 [0xf3800fff].