80000000-efffffff : PCI host bridge
  80000000-87ffffff : PCI Bus #01
    80000000-87ffffff : 0000:01:00.0
      80000000-87ffffff : radeonfb framebuffer
  88000000-880fffff : PCI Bus #01
    88000000-8800ffff : 0000:01:00.0
      88000000-8800ffff : radeonfb mmio
    88010000-8801ffff : 0000:01:00.1
    88020000-8803ffff : 0000:01:00.0
  98100000-9810007f : 0000:00:06.0