00000000-00000fff : reserved
00001000-00057fff : System RAM
00058000-00058fff : reserved
00059000-0009efff : System RAM
0009f000-000fffff : reserved
  000a0000-000bffff : PCI Bus 0000:00
  000c0000-000cffff : Video ROM
  000f0000-000fffff : System ROM
00100000-7f16e017 : System RAM
  2d000000-371fffff : Crash kernel
7f16e018-7f17ee57 : System RAM
7f17ee58-7f17f017 : System RAM
7f17f018-7f18f057 : System RAM
7f18f058-7f898fff : System RAM
7f899000-7f899fff : ACPI Non-volatile Storage
7f89a000-7f89afff : reserved
7f89b000-8854ffff : System RAM
88550000-89da7fff : reserved
89da8000-89e02fff : ACPI Tables
89e03000-8a1f4fff : ACPI Non-volatile Storage
8a1f5000-8b3a1fff : reserved
8b3a2000-8b3fffff : System RAM
8b400000-8fffffff : reserved
  8c000000-8fffffff : Graphics Stolen Memory
90000000-dfffffff : PCI Bus 0000:00
  90000000-901fffff : PCI Bus 0000:01
  90200000-903fffff : PCI Bus 0000:01
  90400000-905fffff : PCI Bus 0000:02
  90600000-907fffff : PCI Bus 0000:02
  90800000-909fffff : PCI Bus 0000:04
  90a00000-90bfffff : PCI Bus 0000:04
  c0000000-cfffffff : 0000:00:02.0
  de000000-deffffff : 0000:00:02.0
  df000000-df0fffff : PCI Bus 0000:03
    df000000-df007fff : 0000:03:00.0
      df000000-df007fff : xhci-hcd
  df100000-df11ffff : 0000:00:1f.6
    df100000-df11ffff : e1000e
  df120000-df12ffff : 0000:00:1f.3
    df120000-df12ffff : ICH HD audio
  df130000-df13ffff : 0000:00:14.0
    df130000-df13ffff : xhci-hcd
  df140000-df143fff : 0000:00:1f.3
    df140000-df143fff : ICH HD audio
  df144000-df147fff : 0000:00:1f.2
  df148000-df149fff : 0000:00:17.0
    df148000-df149fff : ahci
  df14a000-df14a0ff : 0000:00:1f.4
  df14b000-df14b7ff : 0000:00:17.0
    df14b000-df14b7ff : ahci
  df14c000-df14c0ff : 0000:00:17.0
    df14c000-df14c0ff : ahci
  df14d000-df14dfff : 0000:00:16.0
    df14d000-df14dfff : mei_me
  dffe0000-dfffffff : pnp 00:06
e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
  e0000000-efffffff : reserved
    e0000000-efffffff : pnp 00:06
fd000000-fe7fffff : PCI Bus 0000:00
  fd000000-fdabffff : pnp 00:07
  fdac0000-fdacffff : pnp 00:07
    fdac0000-fdacffff : pnp 00:09
  fdad0000-fdadffff : pnp 00:07
  fdae0000-fdaeffff : pnp 00:07
    fdae0000-fdaeffff : pnp 00:09
  fdaf0000-fdafffff : pnp 00:07
    fdaf0000-fdafffff : pnp 00:09
  fdb00000-fdffffff : pnp 00:07
    fdc6000c-fdc6000f : iTCO_wdt
      fdc6000c-fdc6000f : iTCO_wdt
  fe000000-fe010fff : reserved
  fe036000-fe03bfff : pnp 00:07
  fe03d000-fe3fffff : pnp 00:07
  fe410000-fe7fffff : pnp 00:07
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed00fff : reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:06
fed18000-fed18fff : pnp 00:06
fed19000-fed19fff : pnp 00:06
fed20000-fed3ffff : pnp 00:06
fed45000-fed8ffff : pnp 00:06
fed90000-fed93fff : pnp 00:06
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:06
100000000-86effffff : System RAM
  5d7e00000-5d85cd281 : Kernel code
  5d85cd282-5d8b6c33f : Kernel data
  5d8d96000-5d90a3fff : Kernel bss
86f000000-86fffffff : RAM buffer