00000000-00000fff : reserved
00001000-00057fff : System RAM
00058000-00058fff : reserved
00059000-0009dfff : System RAM
0009e000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c3fff : PCI Bus 0000:00
000c4000-000c7fff : PCI Bus 0000:00
000c8000-000cbfff : PCI Bus 0000:00
000cc000-000cffff : PCI Bus 0000:00
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-be344fff : System RAM
  01000000-0158cbce : Kernel code
  0158cbcf-018e08bf : Kernel data
  01a11000-01b30fff : Kernel bss
be345000-be7ccfff : reserved
be7cd000-da606fff : System RAM
da607000-da740fff : reserved
da741000-da76ffff : ACPI Tables
da770000-db1e4fff : System RAM
db1e5000-db642fff : ACPI Non-volatile Storage
db643000-dba62fff : reserved
dba63000-dbafefff : reserved
dbaff000-dbafffff : System RAM
dbb00000-dbffffff : RAM buffer
dd000000-df7fffff : reserved
  dd800000-df7fffff : Graphics Stolen Memory
df800000-feafffff : PCI Bus 0000:00
  e0000000-efffffff : 0000:00:02.0
  f6000000-f6ffffff : 0000:00:02.0
  f7000000-f70fffff : PCI Bus 0000:02
    f7000000-f7001fff : 0000:02:00.0
      f7000000-f7001fff : iwlwifi
  f7100000-f71fffff : PCI Bus 0000:01
    f7100000-f71007ff : 0000:01:00.0
    f7101000-f7101fff : 0000:01:00.0
      f7101000-f7101fff : mmc0
  f7200000-f721ffff : 0000:00:19.0
    f7200000-f721ffff : e1000e
  f7220000-f722ffff : 0000:00:14.0
    f7220000-f722ffff : xhci-hcd
  f7230000-f7237fff : 0000:00:04.0
  f7238000-f723bfff : 0000:00:1b.0
    f7238000-f723bfff : ICH HD audio
  f723c000-f723ffff : 0000:00:03.0
    f723c000-f723ffff : ICH HD audio
  f7240000-f72400ff : 0000:00:1f.3
  f7241000-f72417ff : 0000:00:1f.2
    f7241000-f72417ff : ahci
  f7242000-f72423ff : 0000:00:1d.0
    f7242000-f72423ff : ehci_hcd
  f7243000-f7243fff : 0000:00:19.0
    f7243000-f7243fff : e1000e
  f7246000-f724601f : 0000:00:16.0
    f7246000-f724601f : mei_me
  f7fe0000-f7feffff : pnp 00:06
  f7ff0000-f7ffffff : pnp 00:06
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:06
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:06
fed18000-fed18fff : pnp 00:06
fed19000-fed19fff : pnp 00:06
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:06
    fed1f410-fed1f414 : iTCO_wdt
      fed1f410-fed1f414 : iTCO_wdt
fed20000-fed3ffff : pnp 00:06
fed45000-fed8ffff : pnp 00:06
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:06
100000000-21e7fffff : System RAM
21e800000-21fffffff : RAM buffer