00000000-00000fff : reserved
00001000-000963ff : System RAM
00096400-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-f1de3fff : System RAM
  01000000-01c73e7e : Kernel code
  01c73e7f-0255f43f : Kernel data
  026c6000-027b4fff : Kernel bss
f1de4000-f1dedfff : ACPI Tables
f1dee000-f1deefff : System RAM
f1def000-f7ffffff : reserved
  f4000000-f7ffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f4000000-f7ffffff : pnp 00:00
f8000000-fbffffff : PCI Bus 0000:00
  f8000000-f80fffff : PCI Bus 0000:03
    f8000000-f801ffff : 0000:03:00.0
    f8020000-f803ffff : 0000:03:00.1
  f9000000-f9ffffff : PCI Bus 0000:01
    f9000000-f9ffffff : 0000:01:00.1
      f9000000-f9ffffff : mgadrmfb_vram
  fab00000-fabfffff : PCI Bus 0000:03
    faba0000-fabaffff : 0000:03:00.1
      faba0000-fabaffff : tg3
    fabb0000-fabbffff : 0000:03:00.1
      fabb0000-fabbffff : tg3
    fabc0000-fabcffff : 0000:03:00.1
      fabc0000-fabcffff : tg3
    fabd0000-fabdffff : 0000:03:00.0
      fabd0000-fabdffff : tg3
    fabe0000-fabeffff : 0000:03:00.0
      fabe0000-fabeffff : tg3
    fabf0000-fabfffff : 0000:03:00.0
      fabf0000-fabfffff : tg3
  face0000-face03ff : 0000:00:1d.0
    face0000-face03ff : ehci_hcd
  facf0000-facf03ff : 0000:00:1a.0
    facf0000-facf03ff : ehci_hcd
  fad00000-fbffffff : PCI Bus 0000:01
    fad00000-fad0ffff : 0000:01:00.2
    fad60000-fad67fff : 0000:01:00.2
      fad60000-fad67fff : hpilo
    fad70000-fad77fff : 0000:01:00.2
      fad70000-fad77fff : hpilo
    fad80000-fadfffff : 0000:01:00.2
      fad80000-fadfffff : hpilo
    fae00000-faefffff : 0000:01:00.2
      fae00000-faefffff : hpilo
    faff0000-faff00ff : 0000:01:00.2
      faff0000-faff00ff : hpilo
    fb000000-fb7fffff : 0000:01:00.1
    fbfe0000-fbfe3fff : 0000:01:00.1
      fbfe0000-fbfe3fff : mgadrmfb_mmio
    fbff0000-fbff01ff : 0000:01:00.0
fe000000-febfffff : pnp 00:00
fec00000-fee0ffff : reserved
  fec00000-fec003ff : IOAPIC 0
  fed00000-fed44fff : PCI Bus 0000:00
    fed00000-fed003ff : HPET 0
      fed00000-fed003ff : PNP0103:00
    fed1f410-fed1f414 : iTCO_wdt.0.auto
  fed90000-fed90fff : dmar0
  fee00000-fee00fff : Local APIC
ff800000-ffffffff : reserved
100000000-20bffefff : System RAM
20bfff000-20bffffff : RAM buffer