PCI devices found:
  Bus  0, device   0, function  0:
    Class 0600: PCI device 8086:1250 (rev 3).
      Master Capable.  Latency=32.  
  Bus  0, device   7, function  0:
    Class 0601: PCI device 8086:7000 (rev 1).
  Bus  0, device   7, function  1:
    Class 0101: PCI device 8086:7010 (rev 0).
      Master Capable.  Latency=32.  
      I/O at 0xe800 [0xe80f].
  Bus  0, device  10, function  0:
    Class 0401: PCI device 1102:0002 (rev 6).
      IRQ 10.
      Master Capable.  Latency=32.  Min Gnt=2.Max Lat=20.
      I/O at 0xe000 [0xe01f].
  Bus  0, device  10, function  1:
    Class 0980: PCI device 1102:7002 (rev 6).
      Master Capable.  Latency=32.  
      I/O at 0xd800 [0xd807].
  Bus  0, device  11, function  0:
    Class 0300: PCI device 1023:9440 (rev 227).
      IRQ 11.
      Non-prefetchable 32 bit memory at 0xfb000000 [0xfb1fffff].
      Non-prefetchable 32 bit memory at 0xfa800000 [0xfa80ffff].
