00000000-00000fff : Reserved
00001000-000997ff : System RAM
00099800-00099bff : Reserved
00099c00-0009dfff : RAM buffer
0009e000-0009ffff : Reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000cc000-000ccfff : Adapter ROM
000cd000-000ce7ff : Adapter ROM
000ce800-000cffff : Adapter ROM
000e8000-000fffff : Reserved
  000f0000-000fffff : System ROM
00100000-bddcbfff : System RAM
bddcc000-bddddfff : ACPI Tables
bddde000-cfffffff : Reserved
  c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
    c0000000-cfffffff : pnp 00:01
f8000000-fbffffff : PCI Bus 0000:00
  f8000000-f80fffff : PCI Bus 0000:02
    f8000000-f801ffff : 0000:02:00.0
    f8020000-f803ffff : 0000:02:00.0
    f8040000-f805ffff : 0000:02:00.1
    f8060000-f807ffff : 0000:02:00.1
    f8080000-f809ffff : 0000:02:00.2
    f80a0000-f80bffff : 0000:02:00.2
    f80c0000-f80dffff : 0000:02:00.3
    f80e0000-f80fffff : 0000:02:00.3
  f8ffe000-f8ffefff : dmar0
  f9000000-f9ffffff : PCI Bus 0000:01
    f9000000-f9ffffff : 0000:01:00.1
      f9000000-f9ffffff : mgadrmfb_vram
  fa440000-fa4407ff : 0000:00:1f.2
    fa440000-fa4407ff : ahci
  fa450000-fa4503ff : 0000:00:1d.0
    fa450000-fa4503ff : ehci_hcd
  fa460000-fa4603ff : 0000:00:1a.0
    fa460000-fa4603ff : ehci_hcd
  fa470000-fa470fff : 0000:00:05.4
  fa480000-fa483fff : 0000:00:04.7
    fa480000-fa483fff : ioatdma
  fa490000-fa493fff : 0000:00:04.6
    fa490000-fa493fff : ioatdma
  fa4a0000-fa4a3fff : 0000:00:04.5
    fa4a0000-fa4a3fff : ioatdma
  fa4b0000-fa4b3fff : 0000:00:04.4
    fa4b0000-fa4b3fff : ioatdma
  fa4c0000-fa4c3fff : 0000:00:04.3
    fa4c0000-fa4c3fff : ioatdma
  fa4d0000-fa4d3fff : 0000:00:04.2
    fa4d0000-fa4d3fff : ioatdma
  fa4e0000-fa4e3fff : 0000:00:04.1
    fa4e0000-fa4e3fff : ioatdma
  fa4f0000-fa4f3fff : 0000:00:04.0
    fa4f0000-fa4f3fff : ioatdma
  fa500000-fb0fffff : PCI Bus 0000:01
    fa500000-fa50ffff : 0000:01:00.2
    fa560000-fa567fff : 0000:01:00.2
      fa560000-fa567fff : hpilo
    fa570000-fa577fff : 0000:01:00.2
      fa570000-fa577fff : hpilo
    fa580000-fa5fffff : 0000:01:00.2
      fa580000-fa5fffff : hpilo
    fa600000-fa6fffff : 0000:01:00.2
      fa600000-fa6fffff : hpilo
    fa7f0000-fa7f00ff : 0000:01:00.2
      fa7f0000-fa7f00ff : hpilo
    fa800000-faffffff : 0000:01:00.1
    fb0e0000-fb0e3fff : 0000:01:00.1
      fb0e0000-fb0e3fff : mgadrmfb_mmio
    fb0f0000-fb0f01ff : 0000:01:00.0
  fb100000-fb8fffff : PCI Bus 0000:02
    fb100000-fb17ffff : 0000:02:00.0
    fb1f0000-fb1f3fff : 0000:02:00.3
      fb1f0000-fb1f3fff : igb
    fb200000-fb2fffff : 0000:02:00.3
      fb200000-fb2fffff : igb
    fb300000-fb37ffff : 0000:02:00.1
    fb3f0000-fb3f3fff : 0000:02:00.2
      fb3f0000-fb3f3fff : igb
    fb400000-fb4fffff : 0000:02:00.2
      fb400000-fb4fffff : igb
    fb500000-fb57ffff : 0000:02:00.2
    fb5f0000-fb5f3fff : 0000:02:00.1
      fb5f0000-fb5f3fff : igb
    fb600000-fb6fffff : 0000:02:00.1
      fb600000-fb6fffff : igb
    fb700000-fb77ffff : 0000:02:00.3
    fb7f0000-fb7f3fff : 0000:02:00.0
      fb7f0000-fb7f3fff : igb
    fb800000-fb8fffff : 0000:02:00.0
      fb800000-fb8fffff : igb
  fb900000-fbffffff : PCI Bus 0000:03
    fb900000-fb93ffff : 0000:03:00.0
    fb940000-fb97ffff : 0000:03:00.1
    fb9f0000-fb9fffff : 0000:03:00.1
      fb9f0000-fb9fffff : qlcnic
    fba00000-fbbfffff : 0000:03:00.1
      fba00000-fbbfffff : qlcnic
    fbdf0000-fbdfffff : 0000:03:00.0
      fbdf0000-fbdfffff : qlcnic
    fbe00000-fbffffff : 0000:03:00.0
      fbe00000-fbffffff : qlcnic
fc000000-fc000fff : pnp 00:01
fe000000-febfffff : pnp 00:01
fec00000-fee0ffff : Reserved
  fec00000-fec003ff : IOAPIC 0
  fec10000-fec103ff : IOAPIC 1
  fed00000-fed03fff : PCI Bus 0000:00
    fed00000-fed003ff : HPET 0
      fed00000-fed003ff : PNP0103:00
  fed1c000-fed1ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt.1.auto
  fed30000-fed3ffff : pnp 00:01
  fed40000-fed44fff : PCI Bus 0000:00
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:01
ff800000-ffffffff : Reserved
  ff800000-ffffffff : pnp 00:01
100000000-63fffefff : System RAM
  1b5e00000-1b6c00d56 : Kernel code
  1b6e00000-1b7688fff : Kernel rodata
  1b7800000-1b7a7f0ff : Kernel data
  1b7d36000-1b81fffff : Kernel bss
63ffff000-63fffffff : RAM buffer