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].