00000000-00000fff : reserved
00001000-0009cfff : System RAM
0009d000-0009efff : reserved
0009f000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c3fff : PCI Bus 0000:00
000c4000-000c7fff : PCI Bus 0000:00
000c8000-000cbfff : PCI Bus 0000:00
000cc000-000cffff : PCI Bus 0000:00
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-1fffffff : System RAM
  01000000-01533574 : Kernel code
  01533575-01c0cc8f : Kernel data
  01d58000-0201faa3 : Kernel bss
  03000000-0affffff : Crash kernel
20000000-201fffff : reserved
  20000000-201fffff : pnp 00:0e
20200000-40003fff : System RAM
40004000-40004fff : reserved
  40004000-40004fff : pnp 00:0e
40005000-d56f9fff : System RAM
d56fa000-d57fffff : reserved
d5800000-d5f12fff : System RAM
d5f13000-d5ffffff : reserved
d6000000-d67b2fff : System RAM
d67b3000-d67fffff : ACPI Tables
d6800000-d7eeafff : System RAM
d7eeb000-d7ffffff : ACPI Non-volatile Storage
d8000000-d963ffff : System RAM
d9640000-d9ff0fff : reserved
d9ff1000-da033fff : ACPI Non-volatile Storage
da034000-daabefff : System RAM
daabf000-dafeffff : reserved
daff0000-daffffff : System RAM
db000000-db7fffff : RAM buffer
db800000-df9fffff : reserved
dfa00000-feafffff : PCI Bus 0000:00
  dfa00000-dfa00fff : pnp 00:0c
  e0000000-efffffff : 0000:00:02.0
  f0000000-f09fffff : PCI Bus 0000:07
  f0a00000-f13fffff : PCI Bus 0000:03
  f6400000-f67fffff : 0000:00:02.0
  f6800000-f71fffff : PCI Bus 0000:07
  f7200000-f7bfffff : PCI Bus 0000:03
  f7c00000-f7cfffff : PCI Bus 0000:0c
    f7c00000-f7c0ffff : 0000:0c:00.0
      f7c00000-f7c0ffff : tg3
    f7c10000-f7c1ffff : 0000:0c:00.0
      f7c10000-f7c1ffff : tg3
  f7d00000-f7dfffff : PCI Bus 0000:0b
    f7d00000-f7d001ff : 0000:0b:00.0
      f7d00000-f7d001ff : mmc0
  f7e00000-f7efffff : PCI Bus 0000:02
    f7e00000-f7e01fff : 0000:02:00.0
      f7e00000-f7e01fff : iwlwifi
  f7f00000-f7f0ffff : 0000:00:14.0
    f7f00000-f7f0ffff : xhci_hcd
  f7f10000-f7f13fff : 0000:00:1b.0
    f7f10000-f7f13fff : ICH HD audio
  f7f15000-f7f150ff : 0000:00:1f.3
  f7f16000-f7f167ff : 0000:00:1f.2
    f7f16000-f7f167ff : ahci
  f7f17000-f7f173ff : 0000:00:1d.0
    f7f17000-f7f173ff : ehci_hcd
  f7f18000-f7f183ff : 0000:00:1a.0
    f7f18000-f7f183ff : ehci_hcd
  f7f1b000-f7f1b00f : 0000:00:16.0
  f8000000-fbffffff : PCI MMCONFIG 0 [00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:0c
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : reserved
  fed00000-fed003ff : HPET 0
fed10000-fed17fff : pnp 00:0c
fed18000-fed18fff : pnp 00:0c
fed19000-fed19fff : pnp 00:0c
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:0c
    fed1f410-fed1f414 : iTCO_wdt
      fed1f410-fed1f414 : iTCO_wdt
fed20000-fed3ffff : pnp 00:0c
fed45000-fed8ffff : pnp 00:0c
fed90000-fed93fff : pnp 00:0c
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
  ff000000-ffffffff : pnp 00:0c
100000000-21e5fffff : System RAM
21e600000-21fffffff : RAM buffer
