00000000-00000fff : Reserved
00001000-0009ebff : System RAM
0009ec00-0009ffff : Reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cebff : Video ROM
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000e0000-000fffff : Reserved
  000e0000-000e3fff : PCI Bus 0000:00
  000e4000-000e7fff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-1fffffff : System RAM
  01000000-01c00e20 : Kernel code
  01e00000-021b6fff : Kernel rodata
  02200000-0236713f : Kernel data
  028b3000-02bfffff : Kernel bss
20000000-201fffff : Reserved
  20000000-201fffff : pnp 00:09
20200000-40003fff : System RAM
40004000-40004fff : Reserved
  40004000-40004fff : pnp 00:09
40005000-d90e1fff : System RAM
d90e2000-d9124fff : ACPI Non-volatile Storage
d9125000-d952efff : System RAM
d952f000-d97fafff : Reserved
d97fb000-d9f0cfff : System RAM
d9f0d000-d9f10fff : Reserved
d9f11000-d9f1ffff : System RAM
d9f20000-d9f20fff : Reserved
d9f21000-d9f2dfff : System RAM
d9f2e000-da52efff : ACPI Non-volatile Storage
da52f000-da531fff : Reserved
da532000-da540fff : System RAM
da541000-da546fff : Reserved
da547000-da548fff : System RAM
da549000-da552fff : Reserved
da553000-da6a5fff : System RAM
da6a6000-da6a9fff : Reserved
da6aa000-da6f1fff : System RAM
da6f2000-da706fff : Reserved
da707000-da71dfff : System RAM
da71e000-da723fff : Reserved
da724000-da730fff : System RAM
da731000-da731fff : Reserved
da732000-da73ffff : System RAM
da740000-da744fff : Reserved
da745000-da770fff : System RAM
da771000-da771fff : Reserved
da772000-da781fff : System RAM
da782000-da7a6fff : Reserved
da7a7000-da7b7fff : System RAM
da7b8000-da7b8fff : Reserved
da7b9000-da7b9fff : System RAM
da7ba000-da7bbfff : Reserved
da7bc000-da7bcfff : System RAM
da7bd000-da7c1fff : Reserved
da7c2000-da7d6fff : System RAM
da7d7000-dad79fff : Reserved
dad7a000-daff9fff : ACPI Non-volatile Storage
daffa000-daffefff : ACPI Tables
dafff000-daffffff : System RAM
db000000-dbbfffff : RAM buffer
dbc00000-dfdfffff : Reserved
  dbe00000-dfdfffff : Graphics Stolen Memory
dfe00000-feafffff : PCI Bus 0000:00
  dfe00000-dfe00fff : pnp 00:07
    dfe00000-dfe00fff : pnp 00:08
  e0000000-efffffff : 0000:00:02.0
  f7800000-f7bfffff : 0000:00:02.0
  f7c00000-f7cfffff : PCI Bus 0000:03
    f7c00000-f7c3ffff : 0000:03:00.0
      f7c00000-f7c3ffff : alx
  f7d00000-f7dfffff : PCI Bus 0000:02
    f7d00000-f7d7ffff : 0000:02:00.0
      f7d00000-f7d7ffff : ath9k
    f7d80000-f7d8ffff : 0000:02:00.0
  f7e00000-f7e0ffff : 0000:00:14.0
    f7e00000-f7e0ffff : xhci-hcd
  f7e10000-f7e13fff : 0000:00:1b.0
    f7e10000-f7e13fff : ICH HD audio
  f7e15000-f7e150ff : 0000:00:1f.3
  f7e16000-f7e163ff : 0000:00:1d.0
    f7e16000-f7e163ff : ehci_hcd
  f7e17000-f7e173ff : 0000:00:1a.0
    f7e17000-f7e173ff : ehci_hcd
  f7e19000-f7e1900f : 0000:00:16.0
    f7e19000-f7e1900f : mei_me
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : Reserved
      f8000000-fbffffff : pnp 00:07
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:07
fed18000-fed18fff : pnp 00:07
fed19000-fed19fff : pnp 00:07
fed1c000-fed1ffff : Reserved
  fed1c000-fed1ffff : pnp 00:07
    fed1f410-fed1f414 : iTCO_wdt.1.auto
      fed1f410-fed1f414 : iTCO_wdt.1.auto iTCO_wdt.1.auto
fed20000-fed3ffff : pnp 00:07
fed40000-fed44fff : pnp 00:00
fed45000-fed8ffff : pnp 00:07
fed90000-fed93fff : pnp 00:07
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:07
100000000-21f1fffff : System RAM
21f200000-21fffffff : RAM buffer
