00000000-00000fff : Reserved
00001000-0009efff : System RAM
0009f000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  000e0000-000fffff : PCI Bus 0000:00
    000f0000-000fffff : System ROM
00100000-82599017 : System RAM
  01000000-01e022df : Kernel code
  02000000-0285efff : Kernel rodata
  02a00000-02bff87f : Kernel data
  031f7000-035fffff : Kernel bss
82599018-825a9457 : System RAM
825a9458-87e67fff : System RAM
87e68000-87ec0fff : Reserved
87ec1000-87feefff : System RAM
87fef000-87feffff : Reserved
87ff0000-8b59dfff : System RAM
8b59e000-8c3eefff : Reserved
8c3ef000-8c4a7fff : System RAM
8c4a8000-8c598fff : ACPI Non-volatile Storage
8c599000-8cc0dfff : Reserved
8cc0e000-8cc0efff : System RAM
8cc0f000-8fffffff : Reserved
  8e000000-8fffffff : Graphics Stolen Memory
90000000-dfffffff : PCI Bus 0000:00
  90000000-9fffffff : 0000:00:02.0
    90000000-901d4fff : BOOTFB
  a0000000-a0ffffff : 0000:00:02.0
  a1000000-a10fffff : 0000:00:1f.3
  a1100000-a111ffff : 0000:00:1f.6
    a1100000-a111ffff : e1000e
  a1120000-a112ffff : 0000:00:14.0
    a1120000-a112ffff : xhci-hcd
  a1130000-a1133fff : 0000:00:1f.3
    a1130000-a1133fff : ICH HD audio
  a1134000-a1137fff : 0000:00:14.3
    a1134000-a1137fff : iwlwifi
  a1138000-a1139fff : 0000:00:17.0
    a1138000-a1139fff : ahci
  a113a000-a113bfff : 0000:00:14.2
  a113c000-a113c0ff : 0000:00:1f.4
  a113d000-a113dfff : 0000:00:15.0
    a113d000-a113d1ff : lpss_dev
      a113d000-a113d1ff : i2c_designware.0 lpss_dev
    a113d200-a113d2ff : lpss_priv
    a113d800-a113dfff : idma64.0
      a113d800-a113dfff : idma64.0 idma64.0
  a113e000-a113efff : 0000:00:1e.0
  a113f000-a113ffff : 0000:00:1e.0
    a113f000-a113f1ff : lpss_dev
      a113f000-a113f01f : serial
    a113f200-a113f2ff : lpss_priv
    a113f800-a113ffff : idma64.4
      a113f800-a113ffff : idma64.4 idma64.4
  a1140000-a1140fff : 0000:00:1a.0
    a1140000-a1140fff : mmc1
  a1141000-a1141fff : 0000:00:15.1
    a1141000-a11411ff : lpss_dev
      a1141000-a11411ff : i2c_designware.1 lpss_dev
    a1141200-a11412ff : lpss_priv
    a1141800-a1141fff : idma64.1
      a1141800-a1141fff : idma64.1 idma64.1
  a1142000-a11427ff : 0000:00:17.0
    a1142000-a11427ff : ahci
  a1143000-a11430ff : 0000:00:17.0
    a1143000-a11430ff : ahci
  a1144000-a1144fff : 0000:00:16.0
    a1144000-a1144fff : mei_me
  a1145000-a1145fff : 0000:00:15.2
    a1145000-a11451ff : lpss_dev
      a1145000-a11451ff : i2c_designware.2 lpss_dev
    a1145200-a11452ff : lpss_priv
    a1145800-a1145fff : idma64.2
      a1145800-a1145fff : idma64.2 idma64.2
  a1146000-a1146fff : 0000:00:19.0
    a1146000-a11461ff : lpss_dev
      a1146000-a11461ff : i2c_designware.3 lpss_dev
    a1146200-a11462ff : lpss_priv
  a1147000-a1147fff : 0000:00:1e.2
    a1147000-a11471ff : lpss_dev
      a1147000-a11471ff : pxa2xx-spi.5 lpss_dev
    a1147200-a11472ff : lpss_priv
    a1147800-a1147fff : idma64.5
      a1147800-a1147fff : idma64.5 idma64.5
  a1148000-a1148fff : 0000:00:14.5
    a1148000-a1148fff : mmc0
  a1149000-a1149fff : 0000:00:14.2
  a114a000-a114afff : 0000:00:12.0
    a114a000-a114afff : Intel PCH thermal driver
  a114b000-a114bfff : 0000:00:08.0
e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
  e0000000-efffffff : Reserved
    e0000000-efffffff : pnp 00:03
fc800000-fe7fffff : PCI Bus 0000:00
  fd000000-fd69ffff : pnp 00:04
  fd6a0000-fd6affff : INT34BB:00
    fd6a0000-fd6affff : INT34BB:00 INT34BB:00
  fd6b0000-fd6cffff : pnp 00:04
  fd6d0000-fd6dffff : INT34BB:00
    fd6d0000-fd6dffff : INT34BB:00 INT34BB:00
  fd6e0000-fd6effff : INT34BB:00
    fd6e0000-fd6effff : INT34BB:00 INT34BB:00
  fd6f0000-fdffffff : pnp 00:04
  fe000000-fe010fff : Reserved
    fe010000-fe010fff : 0000:00:1f.5
  fe200000-fe7fffff : pnp 00:04
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:03
fed18000-fed18fff : pnp 00:03
fed19000-fed19fff : pnp 00:03
fed20000-fed3ffff : pnp 00:03
fed40000-fed44fff : MSFT0101:00
  fed40000-fed44fff : MSFT0101:00
fed45000-fed8ffff : pnp 00:03
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
  ff000000-ffffffff : pnp 00:04
100000000-26dffffff : System RAM
26e000000-26fffffff : RAM buffer
