00000000-00000fff : Reserved
00001000-0009dfff : System RAM
0009e000-0009efff : Reserved
0009f000-0009ffff : ACPI Non-volatile Storage
000a0000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000c4000-000c7fff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-62c88fff : System RAM
62c89000-64488fff : Reserved
  63452018-63452067 : APEI ERST
  63452070-63452077 : APEI ERST
  63452078-63454017 : APEI ERST
64489000-65aacfff : ACPI Non-volatile Storage
65aad000-663fdfff : ACPI Tables
663fe000-6f7fffff : System RAM
6f800000-7fffffff : Reserved
80000000-8fffffff : PCI ECAM 0000 [bus 00-ff]
90000000-9d7fffff : PCI Bus 0000:00
  91000000-920fffff : PCI Bus 0000:02
    91000000-920fffff : PCI Bus 0000:03
      91000000-91ffffff : 0000:03:00.0
        91000000-912fffff : efifb
      92000000-9201ffff : 0000:03:00.0
  92100000-921fffff : PCI Bus 0000:01
    92100000-9217ffff : 0000:01:00.0
      92100000-9217ffff : igb
    92180000-92183fff : 0000:01:00.0
      92180000-92183fff : igb
  92200000-9227ffff : 0000:00:17.0
    92200000-9227ffff : ahci
  92280000-922fffff : 0000:00:11.5
    92280000-922fffff : ahci
  92300000-92303fff : 0000:00:1f.2
  92304000-92305fff : 0000:00:17.0
    92304000-92305fff : ahci
  92306000-92307fff : 0000:00:11.5
    92306000-92307fff : ahci
  92309000-923090ff : 0000:00:17.0
    92309000-923090ff : ahci
  9230a000-9230a0ff : 0000:00:11.5
    9230a000-9230a0ff : ahci
  9230b000-9230bfff : 0000:00:05.4
9d800000-aaffffff : PCI Bus 0000:16
  9d800000-9d800fff : 0000:16:05.4
ab000000-b87fffff : PCI Bus 0000:39
  ab000000-ab000fff : 0000:39:05.4
b8800000-c5ffffff : PCI Bus 0000:5d
  b8800000-b8800fff : 0000:5d:05.4
c6000000-d37fffff : PCI Bus 0000:80
  c6000000-c6000fff : 0000:80:05.4
d3800000-e0ffffff : PCI Bus 0000:84
  d3800000-d3800fff : 0000:84:05.4
e1000000-ee7fffff : PCI Bus 0000:ad
  e1000000-e1000fff : 0000:ad:05.4
ee800000-fbffffff : PCI Bus 0000:d7
  ee800000-ee8fffff : PCI Bus 0000:d8
    ee800000-ee87ffff : 0000:d8:00.1
    ee880000-ee8fffff : 0000:d8:00.0
  eec80000-eec80fff : 0000:d7:05.4
fd000000-fdabffff : PNP0C02:01
fdad0000-fdadffff : PNP0C02:01
fdb00000-fdffffff : PNP0C02:01
  fdc6000c-fdc6000f : iTCO_wdt
fe000000-fe010fff : Reserved
  fe000000-fe00ffff : PNP0C02:01
  fe010000-fe010fff : PCI Bus 0000:00
    fe010000-fe010fff : 0000:00:1f.5
fe011000-fe01ffff : PNP0C02:01
fe036000-fe03bfff : PNP0C02:01
fe03d000-fe3fffff : PNP0C02:01
fe410000-fe7fffff : PNP0C02:01
fec00000-fecfffff : PNP0003:00
  fec00000-fec003ff : IOAPIC 0
  fec01000-fec013ff : IOAPIC 1
  fec08000-fec083ff : IOAPIC 2
  fec10000-fec103ff : IOAPIC 3
  fec18000-fec183ff : IOAPIC 4
  fec20000-fec203ff : IOAPIC 5
  fec28000-fec283ff : IOAPIC 6
  fec30000-fec303ff : IOAPIC 7
  fec38000-fec383ff : IOAPIC 8
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed40000-fed47fff : PNP0C02:00
ff000000-ffffffff : PNP0C02:00
100000000-87fffffff : System RAM
  6e2000000-6e325aef7 : Kernel code
  6e3400000-6e4117fff : Kernel rodata
  6e4200000-6e45e5c3f : Kernel data
  6e4f6b000-6e5c25fff : Kernel bss
200000000000-200fffffffff : PCI Bus 0000:00
  200ffff00000-200ffff0ffff : 0000:00:14.0
    200ffff00000-200ffff0ffff : xhci-hcd
  200ffff10000-200ffff13fff : 0000:00:04.7
  200ffff14000-200ffff17fff : 0000:00:04.6
  200ffff18000-200ffff1bfff : 0000:00:04.5
  200ffff1c000-200ffff1ffff : 0000:00:04.4
  200ffff20000-200ffff23fff : 0000:00:04.3
  200ffff24000-200ffff27fff : 0000:00:04.2
  200ffff28000-200ffff2bfff : 0000:00:04.1
  200ffff2c000-200ffff2ffff : 0000:00:04.0
  200ffff30000-200ffff300ff : 0000:00:1f.4
    200ffff30000-200ffff300ff : i801_smbus
  200ffff31000-200ffff31fff : 0000:00:16.4
  200ffff32000-200ffff32fff : 0000:00:16.1
  200ffff33000-200ffff33fff : 0000:00:16.0
  200ffff34000-200ffff34fff : 0000:00:14.2
201000000000-201fffffffff : PCI Bus 0000:16
202000000000-202fffffffff : PCI Bus 0000:39
203000000000-203fffffffff : PCI Bus 0000:5d
204000000000-204fffffffff : PCI Bus 0000:80
  204ffff00000-204ffff03fff : 0000:80:04.7
  204ffff04000-204ffff07fff : 0000:80:04.6
  204ffff08000-204ffff0bfff : 0000:80:04.5
  204ffff0c000-204ffff0ffff : 0000:80:04.4
  204ffff10000-204ffff13fff : 0000:80:04.3
  204ffff14000-204ffff17fff : 0000:80:04.2
  204ffff18000-204ffff1bfff : 0000:80:04.1
  204ffff1c000-204ffff1ffff : 0000:80:04.0
205000000000-205fffffffff : PCI Bus 0000:84
206000000000-206fffffffff : PCI Bus 0000:ad
207000000000-207fffffffff : PCI Bus 0000:d7
  207fff400000-207fffcfffff : PCI Bus 0000:d8
    207fff400000-207fff7fffff : 0000:d8:00.1
      207fff400000-207fff7fffff : ixgbe
    207fff800000-207fffbfffff : 0000:d8:00.0
      207fff800000-207fffbfffff : ixgbe
    207fffc00000-207fffc03fff : 0000:d8:00.1
      207fffc00000-207fffc03fff : ixgbe
    207fffc04000-207fffc07fff : 0000:d8:00.0
      207fffc04000-207fffc07fff : ixgbe