00000000-00000fff : Reserved
00001000-00087fff : System RAM
00088000-000bffff : Reserved
  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
000e0000-000e3fff : PCI Bus 0000:00
000e4000-000e7fff : PCI Bus 0000:00
000e8000-000ebfff : PCI Bus 0000:00
000ec000-000effff : PCI Bus 0000:00
000f0000-000fffff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-bc713fff : System RAM
bc714000-bc755fff : Reserved
bc756000-befbefff : System RAM
befbf000-bf053fff : Unknown E820 type
bf054000-bf054fff : Reserved
bf055000-bf064fff : Unknown E820 type
bf065000-bf065fff : Reserved
bf066000-bf06bfff : Unknown E820 type
bf06c000-bf06cfff : Reserved
bf06d000-bf091fff : Unknown E820 type
bf092000-bf093fff : Reserved
bf094000-bf098fff : Unknown E820 type
bf099000-bf0d0fff : Reserved
bf0d1000-bf1befff : Unknown E820 type
bf1bf000-bf6befff : Reserved
  bf5e6018-bf5e606f : APEI ERST
  bf5e6070-bf5e8017 : APEI ERST
bf6bf000-bf7befff : ACPI Non-volatile Storage
bf7bf000-bf7fefff : ACPI Tables
bf7ff000-bf7fffff : System RAM
bf800000-bfffffff : Reserved
c0000000-feafffff : PCI Bus 0000:00
  c0000000-c0ffffff : PCI Bus 0000:01
  c1000000-c1ffffff : PCI Bus 0000:08
    c1000000-c107ffff : 0000:08:00.0
  c2000000-c3ffffff : PCI Bus 0000:09
    c2000000-c27fffff : 0000:09:00.0
    c2800000-c2ffffff : 0000:09:00.1
    c3000000-c3007fff : 0000:09:00.0
    c3008000-c300ffff : 0000:09:00.1
  c4000000-c4ffffff : PCI Bus 0000:0f
  c5000000-c5ffffff : PCI Bus 0000:15
  c6000000-c6ffffff : PCI Bus 0000:1b
  c7000000-c7ffffff : PCI Bus 0000:21
  c8000000-c8ffffff : PCI Bus 0000:21
  c9000000-c9ffffff : PCI Bus 0000:1b
  ca000000-caffffff : PCI Bus 0000:15
    ca000000-ca03ffff : 0000:15:00.0
    ca040000-ca07ffff : 0000:15:00.0
      ca040000-ca07ffff : tmc-core
        ca0400f0-ca04016b : gpioslave-tmc
        ca040170-ca0401eb : gpioslave-tmc
        ca047000-ca047500 : i2c-tmc
        ca050000-ca053ffc : i2c-tmc-mem
  cb000000-cbffffff : PCI Bus 0000:0f
    cb000000-cb03ffff : 0000:0f:00.0
    cb040000-cb07ffff : 0000:0f:00.0
      cb040000-cb07ffff : tmc-core
        cb040058-cb04005b : leds-tmc
        cb040228-cb040233 : refpga-tmc
        cb040240-cb040243 : psu-tmc
        cb047000-cb047500 : i2c-tmc
        cb050000-cb053ffc : i2c-tmc-mem
  cc000000-ccffffff : PCI Bus 0000:09
  cd000000-cdffffff : PCI Bus 0000:08
    cd000000-cd01ffff : 0000:08:00.0
    cd020000-cd03ffff : 0000:08:00.4
      cd020000-cd03ffff : igb
    cd040000-cd05ffff : 0000:08:00.3
      cd040000-cd05ffff : igb
    cd060000-cd07ffff : 0000:08:00.2
      cd060000-cd07ffff : igb
    cd080000-cd09ffff : 0000:08:00.1
      cd080000-cd09ffff : igb
    cd0a0000-cd0a3fff : 0000:08:00.0
    cd0a4000-cd0a7fff : 0000:08:00.4
      cd0a4000-cd0a7fff : igb
    cd0a8000-cd0abfff : 0000:08:00.3
      cd0a8000-cd0abfff : igb
    cd0ac000-cd0affff : 0000:08:00.2
      cd0ac000-cd0affff : igb
    cd0b0000-cd0b3fff : 0000:08:00.1
      cd0b0000-cd0b3fff : igb
    cd0b4000-cd0c3fff : 0000:08:00.0
    cd0c4000-cd0d3fff : 0000:08:00.0
  ce000000-ceffffff : PCI Bus 0000:01
  cf002000-cf0020ff : 0000:00:1f.3
  cf004000-cf0043ff : 0000:00:1f.7
  cf005000-cf00507f : 0000:00:1f.7
  cf006000-cf0067ff : 0000:00:1f.7
  cf007000-cf0077ff : 0000:00:1f.2
    cf007000-cf0077ff : ahci
  cf008000-cf0083ff : 0000:00:1d.0
    cf008000-cf0083ff : ehci_hcd
  e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
    e0000000-efffffff : Reserved
      e0000000-efffffff : pnp 00:04
feb00000-feb03fff : Reserved
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed10000-fed19fff : Reserved
  fed10000-fed17fff : pnp 00:04
  fed18000-fed18fff : pnp 00:04
  fed19000-fed19fff : pnp 00:04
fed1c000-fed1ffff : Reserved
  fed1c000-fed1ffff : pnp 00:04
    fed1f410-fed1f414 : iTCO_wdt.0.auto
      fed1f410-fed1f414 : iTCO_wdt.0.auto
fed20000-fed3ffff : pnp 00:04
fed50000-fed503ff : refpga-lpc
fed91000-fed91fff : dmar0
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : INT0800:00
  ffc00000-ffffffff : Reserved
100000000-43fffffff : System RAM
  1ff800000-2002031d0 : Kernel code
  2002031d1-2009365bf : Kernel data
  200dc7000-200ffffff : Kernel bss
440000000-83fffffff : PCI Bus 0000:00
