00000000-00000fff : Reserved
00001000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-7e465017 : System RAM
  5d000000-6cffffff : Crash kernel
7e465018-7e49a457 : System RAM
7e49a458-7e49b017 : System RAM
7e49b018-7e4a4a57 : System RAM
7e4a4a58-7e4a4fff : System RAM
7e4a5000-7e4adfff : Reserved
7e4ae000-7f240fff : System RAM
7f241000-7f301fff : Reserved
7f302000-7f8ecfff : System RAM
7f8ed000-7fb6cfff : Reserved
7fb6d000-7fb7efff : ACPI Tables
7fb7f000-7fbfefff : ACPI Non-volatile Storage
7fbff000-7ff0dfff : System RAM
7ff0e000-7ff11fff : Reserved
7ff12000-7ff13fff : ACPI Non-volatile Storage
7ff14000-7ff7bfff : System RAM
7ff7c000-7fffffff : Reserved
80000000-dfffffff : PCI Bus 0000:00
  80000000-807fffff : 0000:00:01.0
  80800000-809fffff : PCI Bus 0000:0e
  80a00000-80bfffff : PCI Bus 0000:0d
  80c00000-80dfffff : PCI Bus 0000:0c
  80e00000-80ffffff : PCI Bus 0000:0b
  81000000-811fffff : PCI Bus 0000:0a
  81200000-813fffff : PCI Bus 0000:09
  81400000-815fffff : PCI Bus 0000:08
  81600000-817fffff : PCI Bus 0000:07
  81800000-819fffff : PCI Bus 0000:06
    81800000-81800fff : 0000:06:00.0
  81a00000-81bfffff : PCI Bus 0000:05
  81c00000-81dfffff : PCI Bus 0000:04
    81c00000-81c00fff : 0000:04:00.0
  81e00000-81ffffff : PCI Bus 0000:03
    81e00000-81e00fff : 0000:03:00.0
  82000000-821fffff : PCI Bus 0000:02
    82000000-82003fff : 0000:02:00.0
      82000000-82003fff : xhci-hcd
  82200000-823fffff : PCI Bus 0000:01
    82200000-82200fff : 0000:01:00.0
    82240000-8227ffff : 0000:01:00.0
  82440000-82440fff : 0000:00:1f.2
    82440000-82440fff : ahci
  82441000-82441fff : 0000:00:03.5
  82442000-82442fff : 0000:00:03.4
  82443000-82443fff : 0000:00:03.3
  82444000-82444fff : 0000:00:03.2
  82445000-82445fff : 0000:00:03.1
  82446000-82446fff : 0000:00:03.0
  82447000-82447fff : 0000:00:02.7
  82448000-82448fff : 0000:00:02.6
  82449000-82449fff : 0000:00:02.5
  8244a000-8244afff : 0000:00:02.4
  8244b000-8244bfff : 0000:00:02.3
  8244c000-8244cfff : 0000:00:02.2
  8244d000-8244dfff : 0000:00:02.1
  8244e000-8244efff : 0000:00:02.0
  8244f000-8244ffff : 0000:00:01.0
e0000000-efffffff : PCI ECAM 0000 [bus 00-ff]
  e0000000-efffffff : Reserved
    e0000000-efffffff : pnp 00:04
f0000000-febfffff : PCI Bus 0000:00
fec00000-fec003ff : IOAPIC 0
fed1f410-fed1f414 : iTCO_wdt.1.auto
  fed1f410-fed1f414 : iTCO_wdt.1.auto iTCO_wdt.1.auto
fed40000-fed40fff : MSFT0101:00
  fed40000-fed40fff : MSFT0101:00
feffc000-feffffff : Reserved
100000000-27fffffff : System RAM
  1e2000000-1e2ffffff : Kernel code
  1e3000000-1e3d89fff : Kernel rodata
  1e3e00000-1e43a613f : Kernel data
  1e4cf9000-1e53fffff : Kernel bss
c000000000-c7ffffffff : PCI Bus 0000:00
  c000000000-c01fffffff : PCI Bus 0000:01
    c000000000-c000003fff : 0000:01:00.0
      c000000000-c000003fff : virtio-pci-modern
  c020000000-c03fffffff : PCI Bus 0000:02
  c040000000-c05fffffff : PCI Bus 0000:03
    c040000000-c040003fff : 0000:03:00.0
      c040000000-c040003fff : virtio-pci-modern
  c060000000-c07fffffff : PCI Bus 0000:04
    c060000000-c060003fff : 0000:04:00.0
      c060000000-c060003fff : virtio-pci-modern
  c080000000-c09fffffff : PCI Bus 0000:05
    c080000000-c080003fff : 0000:05:00.0
      c080000000-c080003fff : virtio-pci-modern
  c0a0000000-c0bfffffff : PCI Bus 0000:06
    c0a0000000-c0a0003fff : 0000:06:00.0
      c0a0000000-c0a0003fff : virtio-pci-modern
  c0c0000000-c0dfffffff : PCI Bus 0000:07
  c0e0000000-c0ffffffff : PCI Bus 0000:08
  c100000000-c11fffffff : PCI Bus 0000:09
  c120000000-c13fffffff : PCI Bus 0000:0a
  c140000000-c15fffffff : PCI Bus 0000:0b
  c160000000-c17fffffff : PCI Bus 0000:0c
  c180000000-c19fffffff : PCI Bus 0000:0d
  c1a0000000-c1bfffffff : PCI Bus 0000:0e
  c1c0000000-c1c0003fff : 0000:00:01.0
    c1c0000000-c1c0003fff : virtio-pci-modern
fd00000000-ffffffffff : Reserved
