00000000-00000fff : Reserved
00001000-0009efff : System RAM
0009f000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e0000-000fffff : PCI Bus 0000:00
    000f0000-000fffff : System ROM
00100000-87e5afff : System RAM
87e5b000-87eb3fff : Reserved
87eb4000-87fe0fff : System RAM
87fe1000-87fe1fff : Reserved
87fe2000-8b59dfff : System RAM
8b59e000-8c3eefff : Reserved
8c3ef000-8c4a7fff : System RAM
8c4a8000-8c598fff : ACPI Non-volatile Storage
8c599000-8cb70fff : Reserved
8cb71000-8cc0dfff : Unknown E820 type
8cc0e000-8cc0efff : System RAM
8cc0f000-8fffffff : Reserved
  8e000000-8fffffff : Graphics Stolen Memory
90000000-dfffffff : PCI Bus 0000:00
  90000000-9fffffff : 0000:00:02.0
  a0000000-a0ffffff : 0000:00:02.0
  a1000000-a10fffff : 0000:00:1f.3
    a1000000-a10fffff : Audio DSP
  a1100000-a11fffff : PCI Bus 0000:01
    a1100000-a1101fff : 0000:01:00.0
      a1100000-a1101fff : iwlwifi
  a1200000-a121ffff : 0000:00:1f.6
    a1200000-a121ffff : e1000e
  a1220000-a122ffff : 0000:00:14.0
    a1220000-a122ffff : xhci-hcd
  a1230000-a1233fff : 0000:00:1f.3
    a1230000-a1233fff : Audio DSP
  a1234000-a1235fff : 0000:00:17.0
    a1234000-a1235fff : ahci
  a1236000-a1237fff : 0000:00:14.2
  a1238000-a12380ff : 0000:00:1f.4
  a1239000-a1239fff : 0000:00:15.0
    a1239000-a12391ff : lpss_dev
      a1239000-a12391ff : i2c_designware.0 lpss_dev
    a1239200-a12392ff : lpss_priv
    a1239800-a1239fff : idma64.0
      a1239800-a1239fff : idma64.0 idma64.0
  a123a000-a123afff : 0000:00:1e.0
  a123b000-a123bfff : 0000:00:1e.0
    a123b000-a123b1ff : lpss_dev
      a123b000-a123b1ff : serial
    a123b200-a123b2ff : lpss_priv
    a123b800-a123bfff : idma64.4
      a123b800-a123bfff : idma64.4 idma64.4
  a123c000-a123cfff : 0000:00:1a.0
    a123c000-a123cfff : mmc1
  a123d000-a123dfff : 0000:00:15.1
    a123d000-a123d1ff : lpss_dev
      a123d000-a123d1ff : i2c_designware.1 lpss_dev
    a123d200-a123d2ff : lpss_priv
    a123d800-a123dfff : idma64.1
      a123d800-a123dfff : idma64.1 idma64.1
  a123e000-a123e7ff : 0000:00:17.0
    a123e000-a123e7ff : ahci
  a123f000-a123f0ff : 0000:00:17.0
    a123f000-a123f0ff : ahci
  a1240000-a1240fff : 0000:00:16.0
    a1240000-a1240fff : mei_me
  a1241000-a1241fff : 0000:00:15.2
    a1241000-a12411ff : lpss_dev
      a1241000-a12411ff : i2c_designware.2 lpss_dev
    a1241200-a12412ff : lpss_priv
    a1241800-a1241fff : idma64.2
      a1241800-a1241fff : idma64.2 idma64.2
  a1242000-a1242fff : 0000:00:19.0
    a1242000-a12421ff : lpss_dev
      a1242000-a12421ff : i2c_designware.3 lpss_dev
    a1242200-a12422ff : lpss_priv
  a1243000-a1243fff : 0000:00:1e.2
    a1243000-a12431ff : lpss_dev
      a1243000-a12431ff : pxa2xx-spi.5 lpss_dev
    a1243200-a12432ff : lpss_priv
    a1243800-a1243fff : idma64.5
      a1243800-a1243fff : idma64.5 idma64.5
  a1244000-a1244fff : 0000:00:14.5
    a1244000-a1244fff : mmc0
  a1245000-a1245fff : 0000:00:14.2
  a1246000-a1246fff : 0000:00:12.0
    a1246000-a1246fff : Intel PCH thermal driver
  a1247000-a1247fff : 0000:00:08.0
e0000000-efffffff : PCI ECAM 0000 [bus 00-ff]
  e0000000-efffffff : pnp 00:02
fc800000-fe7fffff : PCI Bus 0000:00
  fd000000-fd69ffff : pnp 00:03
  fd6a0000-fd6affff : INT34BB:00
    fd6a0000-fd6affff : INT34BB:00 INT34BB:00
  fd6b0000-fd6cffff : pnp 00:03
  fd6d0000-fd6dffff : INT34BB:00
    fd6d0000-fd6dffff : INT34BB:00 INT34BB:00
  fd6e0000-fd6effff : INT34BB:00
    fd6e0000-fd6effff : INT34BB:00 INT34BB:00
  fd6f0000-fdffffff : pnp 00:03
  fe000000-fe010fff : Reserved
    fe010000-fe010fff : 0000:00:1f.5
  fe200000-fe7fffff : pnp 00:03
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:02
fed18000-fed18fff : pnp 00:02
fed19000-fed19fff : pnp 00:02
fed20000-fed3ffff : pnp 00:02
fed40000-fed44fff : MSFT0101:00
  fed40000-fed44fff : MSFT0101:00
fed45000-fed8ffff : pnp 00:02
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Reserved
ff000000-ffffffff : pnp 00:03
100000000-16dffffff : System RAM
  15b000000-15c1fffff : Kernel code
  15c200000-15cdf7fff : Kernel rodata
  15ce00000-15d0958ff : Kernel data
  15d9c5000-15ddfffff : Kernel bss
16e000000-16fffffff : RAM buffer
