00000000-00000fff : reserved
00001000-00057fff : System RAM
00058000-00058fff : reserved
00059000-0009efff : System RAM
0009f000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cfdff : Video ROM
000d0000-000d0fff : Adapter ROM
000d1000-000d1fff : Adapter ROM
000dc000-000dffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-d160cfff : System RAM
d160d000-d1613fff : ACPI Non-volatile Storage
d1614000-d1a44fff : System RAM
d1a45000-d1ecffff : reserved
d1ed0000-d7eeafff : System RAM
d7eeb000-d7ffffff : reserved
d8000000-d875ffff : System RAM
d8760000-d87fffff : reserved
d8800000-d8fadfff : System RAM
d8fae000-d8ffffff : ACPI Tables
d9000000-da71bfff : System RAM
da71c000-da7fffff : ACPI Non-volatile Storage
da800000-dbb0bfff : System RAM
dbb0c000-dbffffff : reserved
dd000000-df1fffff : reserved
  dd200000-df1fffff : Graphics Stolen Memory
df200000-feafffff : PCI Bus 0000:00
  e0000000-efffffff : 0000:00:02.0
  f7800000-f7bfffff : 0000:00:02.0
  f7c00000-f7c1ffff : 0000:00:19.0
    f7c00000-f7c1ffff : e1000e
  f7c20000-f7c2ffff : 0000:00:14.0
    f7c20000-f7c2ffff : xhci-hcd
  f7c30000-f7c33fff : 0000:00:1b.0
    f7c30000-f7c33fff : ICH HD audio
  f7c34000-f7c37fff : 0000:00:03.0
    f7c34000-f7c37fff : ICH HD audio
  f7c39000-f7c390ff : 0000:00:1f.3
  f7c3a000-f7c3a7ff : 0000:00:1f.2
    f7c3a000-f7c3a7ff : ahci
  f7c3b000-f7c3b3ff : 0000:00:1d.0
    f7c3b000-f7c3b3ff : ehci_hcd
  f7c3c000-f7c3c3ff : 0000:00:1a.0
    f7c3c000-f7c3c3ff : ehci_hcd
  f7c3d000-f7c3dfff : 0000:00:19.0
    f7c3d000-f7c3dfff : e1000e
  f7c40000-f7c4000f : 0000:00:16.0
    f7c40000-f7c4000f : mei_me
  f7fd0000-f7fdffff : pnp 00:07
  f7fee000-f7feefff : pnp 00:07
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:07
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:07
fed18000-fed18fff : pnp 00:07
fed19000-fed19fff : pnp 00:07
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:07
    fed1f410-fed1f414 : iTCO_wdt.0.auto
fed20000-fed3ffff : pnp 00:07
fed40000-fed44fff : pnp 00:00
fed45000-fed8ffff : pnp 00:07
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:07
100000000-81edfffff : System RAM
  4d6000000-4d680ff4a : Kernel code
  4d680ff4b-4d6f5eabf : Kernel data
  4d70e5000-4d7240fff : Kernel bss
81ee00000-81fffffff : RAM buffer