00000000-00000fff : reserved
00001000-0009cfff : System RAM
0009d000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cebff : Video ROM
000d0000-000d3fff : pnp 00:00
000d4000-000d7fff : pnp 00:00
000d8000-000dbfff : pnp 00:00
000dc000-000dffff : pnp 00:00
000e0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-aec17fff : System RAM
  01000000-014e971f : Kernel code
  014e9720-018c34ff : Kernel data
  019c7000-01a95fff : Kernel bss
aec18000-bcd3efff : reserved
bcd3f000-bce7efff : ACPI Non-volatile Storage
bce7f000-bcefefff : ACPI Tables
bceff000-bf9fffff : reserved
  bda00000-bf9fffff : Graphics Stolen Memory
bfa00000-febfffff : PCI Bus 0000:00
  c0000000-d1ffffff : PCI Bus 0000:02
    c0000000-cfffffff : 0000:02:00.0
    d0000000-d1ffffff : 0000:02:00.0
  e0000000-efffffff : 0000:00:02.0
  f0000000-f0ffffff : PCI Bus 0000:02
    f0000000-f0ffffff : 0000:02:00.0
  f1000000-f13fffff : 0000:00:02.0
  f1400000-f14fffff : PCI Bus 0000:04
    f1400000-f1401fff : 0000:04:00.0
      f1400000-f1401fff : iwlwifi
  f1500000-f15fffff : PCI Bus 0000:03
    f1500000-f1500fff : 0000:03:00.0
      f1500000-f1500fff : rtsx_pci
  f1600000-f161ffff : 0000:00:19.0
    f1600000-f161ffff : e1000e
  f1620000-f162ffff : 0000:00:14.0
    f1620000-f162ffff : xhci_hcd
  f1630000-f1633fff : 0000:00:03.0
    f1630000-f1633fff : ICH HD audio
  f1634000-f1637fff : 0000:00:1b.0
    f1634000-f1637fff : ICH HD audio
  f1638000-f16380ff : 0000:00:1f.3
  f1639000-f163900f : 0000:00:16.0
    f1639000-f163900f : mei_me
  f163c000-f163c7ff : 0000:00:1f.2
  f163d000-f163d3ff : 0000:00:1d.0
    f163d000-f163d3ff : ehci_hcd
  f163e000-f163e3ff : 0000:00:1a.0
    f163e000-f163e3ff : ehci_hcd
  f163f000-f163ffff : 0000:00:19.0
    f163f000-f163ffff : e1000e
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:01
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed08000-fed08fff : reserved
fed10000-fed19fff : reserved
  fed10000-fed13fff : pnp 00:01
  fed18000-fed18fff : pnp 00:01
  fed19000-fed19fff : pnp 00:01
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt
      fed1f410-fed1f414 : iTCO_wdt
fed40000-fed4bfff : PCI Bus 0000:00
  fed45000-fed4bfff : pnp 00:01
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ffc00000-ffffffff : reserved
100000000-13e5fffff : System RAM
13e600000-13fffffff : RAM buffer