00000000-00000fff : Reserved
00001000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-00805fff : System RAM
00806000-00807fff : ACPI Non-volatile Storage
00808000-0080ffff : System RAM
00810000-008fffff : ACPI Non-volatile Storage
00900000-7dfda017 : System RAM
  62000000-71ffffff : Crash kernel
7dfda018-7e00c457 : System RAM
7e00c458-7e00d017 : System RAM
7e00d018-7e03f457 : System RAM
7e03f458-7e040017 : System RAM
7e040018-7e049a57 : System RAM
7e049a58-7e090fff : System RAM
7e091000-7e099fff : Reserved
7e09a000-7eea3fff : System RAM
7eea4000-7efa5fff : Reserved
7efa6000-7f8edfff : System RAM
7f8ee000-7fb6dfff : Reserved
7fb6e000-7fb7dfff : ACPI Tables
7fb7e000-7fbfdfff : ACPI Non-volatile Storage
7fbfe000-7feebfff : System RAM
7feec000-7ff6ffff : Reserved
7ff70000-7fffffff : ACPI Non-volatile Storage
80000000-afffffff : PCI Bus 0000:00
b0000000-bfffffff : PCI ECAM 0000 [bus 00-ff]
  b0000000-bfffffff : Reserved
    b0000000-bfffffff : pnp 00:04
c0000000-febfffff : PCI Bus 0000:00
  c0000000-c07fffff : 0000:00:01.0
  c0800000-c09fffff : PCI Bus 0000:08
  c0a00000-c0bfffff : PCI Bus 0000:07
  c0c00000-c0dfffff : PCI Bus 0000:06
  c0e00000-c0ffffff : PCI Bus 0000:05
    c0e00000-c0e00fff : 0000:05:00.0
  c1000000-c11fffff : PCI Bus 0000:04
    c1000000-c1000fff : 0000:04:00.0
    c1080000-c10fffff : 0000:04:00.0
  c1200000-c13fffff : PCI Bus 0000:03
    c1200000-c1200fff : 0000:03:00.0
    c1280000-c12fffff : 0000:03:00.0
  c1400000-c16fffff : PCI Bus 0000:01
    c1400000-c15fffff : PCI Bus 0000:02
    c1600000-c16000ff : 0000:01:00.0
  c1780000-c1780fff : 0000:00:1f.2
    c1780000-c1780fff : ahci
  c1781000-c1781fff : 0000:00:02.6
  c1782000-c1782fff : 0000:00:02.5
  c1783000-c1783fff : 0000:00:02.4
  c1784000-c1784fff : 0000:00:02.3
  c1785000-c1785fff : 0000:00:02.2
  c1786000-c1786fff : 0000:00:02.1
  c1787000-c1787fff : 0000:00:02.0
  c1788000-c1788fff : 0000:00:01.0
fec00000-fec003ff : IOAPIC 0
fed1f410-fed1f414 : iTCO_wdt.1.auto
  fed1f410-fed1f414 : iTCO_wdt.1.auto iTCO_wdt.1.auto
100000000-17fffffff : System RAM
  160200000-1611fffff : Kernel code
  161200000-161f92fff : Kernel rodata
  162000000-1625a6c3f : Kernel data
  162eff000-1635fffff : Kernel bss
800000000-fffffffff : PCI Bus 0000:00
  800000000-8000fffff : PCI Bus 0000:03
    800000000-800003fff : 0000:03:00.0
      800000000-800003fff : virtio-pci-modern
  800100000-8001fffff : PCI Bus 0000:04
    800100000-800103fff : 0000:04:00.0
      800100000-800103fff : virtio-pci-modern
  800200000-8002fffff : PCI Bus 0000:05
    800200000-800203fff : 0000:05:00.0
      800200000-800203fff : virtio-pci-modern
  800300000-8003fffff : PCI Bus 0000:06
    800300000-800303fff : 0000:06:00.0
      800300000-800303fff : virtio-pci-modern
  800400000-8004fffff : PCI Bus 0000:07
    800400000-800403fff : 0000:07:00.0
      800400000-800403fff : virtio-pci-modern
  800500000-800503fff : 0000:00:01.0
    800500000-800503fff : virtio-pci-modern
  800600000-8007fffff : PCI Bus 0000:01
  800800000-8009fffff : PCI Bus 0000:08
