PCI devices found:
  Bus  0, device   0, function  0:
    Class 0600: PCI device 8086:2578 (rev 2).
      Prefetchable 32 bit memory at 0xfe800000 [0xfebfffff].
  Bus  0, device   3, function  0:
    Class 0604: PCI device 8086:257b (rev 2).
      Master Capable.  Latency=64.  Min Gnt=6.
  Bus  0, device  28, function  0:
    Class 0604: PCI device 8086:25ae (rev 2).
      Master Capable.  Latency=64.  Min Gnt=7.
  Bus  0, device  30, function  0:
    Class 0604: PCI device 8086:244e (rev 10).
      Master Capable.  No bursts.  Min Gnt=11.
  Bus  0, device  31, function  0:
    Class 0601: PCI device 8086:25a1 (rev 2).
  Bus  0, device  31, function  2:
    Class 0101: PCI device 8086:25a3 (rev 2).
      I/O at 0xfea0 [0xfeaf].
  Bus  0, device  31, function  3:
    Class 0c05: PCI device 8086:25a4 (rev 2).
      IRQ 11.
      I/O at 0x8c0 [0x8df].
  Bus  1, device   1, function  0:
    Class 0200: PCI device 8086:1075 (rev 0).
      IRQ 10.
      Master Capable.  No bursts.  Min Gnt=255.
      Non-prefetchable 32 bit memory at 0xfe5e0000 [0xfe5fffff].
      I/O at 0xece0 [0xecff].
  Bus  2, device   1, function  0:
    Class 0200: PCI device 8086:1079 (rev 3).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=255.
      Non-prefetchable 64 bit memory at 0xfe3e0000 [0xfe3fffff].
      Non-prefetchable 64 bit memory at 0xfe380000 [0xfe3bffff].
      I/O at 0xdcc0 [0xdcff].
  Bus  2, device   1, function  1:
    Class 0200: PCI device 8086:1079 (rev 3).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=255.
      Non-prefetchable 64 bit memory at 0xfe3c0000 [0xfe3dffff].
      Non-prefetchable 64 bit memory at 0xfe340000 [0xfe37ffff].
      I/O at 0xdc80 [0xdcbf].
  Bus  2, device   2, function  0:
    Class 0200: PCI device 8086:1079 (rev 3).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=255.
      Non-prefetchable 64 bit memory at 0xfe320000 [0xfe33ffff].
      Non-prefetchable 64 bit memory at 0xfe2c0000 [0xfe2fffff].
      I/O at 0xdc40 [0xdc7f].
  Bus  2, device   2, function  1:
    Class 0200: PCI device 8086:1079 (rev 3).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=255.
      Non-prefetchable 64 bit memory at 0xfe300000 [0xfe31ffff].
      Non-prefetchable 64 bit memory at 0xfe280000 [0xfe2bffff].
      I/O at 0xdc00 [0xdc3f].
  Bus  2, device   3, function  0:
    Class 0200: PCI device 8086:1079 (rev 3).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=255.
      Non-prefetchable 64 bit memory at 0xfe260000 [0xfe27ffff].
      Non-prefetchable 64 bit memory at 0xfe200000 [0xfe23ffff].
      I/O at 0xd8c0 [0xd8ff].
  Bus  2, device   3, function  1:
    Class 0200: PCI device 8086:1079 (rev 3).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=255.
      Non-prefetchable 64 bit memory at 0xfe240000 [0xfe25ffff].
      Non-prefetchable 64 bit memory at 0xfe1c0000 [0xfe1fffff].
      I/O at 0xd880 [0xd8bf].
  Bus  3, device   2, function  0:
    Class 0200: PCI device 8086:1229 (rev 13).
      IRQ 3.
      Master Capable.  Latency=32.  Min Gnt=8.Max Lat=56.
      Non-prefetchable 32 bit memory at 0xfdeff000 [0xfdefffff].
      I/O at 0xccc0 [0xccff].
      Non-prefetchable 32 bit memory at 0xfdec0000 [0xfdedffff].
  Bus  3, device   3, function  0:
    Class 0200: PCI device 8086:1229 (rev 13).
      IRQ 5.
      Master Capable.  Latency=32.  Min Gnt=8.Max Lat=56.
      Non-prefetchable 32 bit memory at 0xfdefe000 [0xfdefefff].
      I/O at 0xc800 [0xc8ff].
      Non-prefetchable 32 bit memory at 0xfdefd000 [0xfdefdfff].