00000000-00000fff : Reserved
00001000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-7e46c017 : System RAM
  5d000000-6cffffff : Crash kernel
7e46c018-7e4a1457 : System RAM
7e4a1458-7e4a2017 : System RAM
7e4a2018-7e4aba57 : System RAM
7e4aba58-7e4abfff : System RAM
7e4ac000-7e4b4fff : Reserved
7e4b5000-7f23ffff : System RAM
7f240000-7f300fff : Reserved
7f301000-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
    81a00000-81a00fff : 0000:05:00.0
  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
  126000000-126ffffff : Kernel code
  127000000-127d94fff : Kernel rodata
  127e00000-1283a8dbf : Kernel data
  128d03000-1293fffff : Kernel bss
fd00000000-ffffffffff : Reserved
380000000000-387000003fff : PCI Bus 0000:00
  380000000000-3807ffffffff : PCI Bus 0000:01
    380000000000-380000003fff : 0000:01:00.0
      380000000000-380000003fff : virtio-pci-modern
  380800000000-380fffffffff : PCI Bus 0000:02
  381000000000-3817ffffffff : PCI Bus 0000:03
    381000000000-381000003fff : 0000:03:00.0
      381000000000-381000003fff : virtio-pci-modern
  381800000000-381fffffffff : PCI Bus 0000:04
    381800000000-381800003fff : 0000:04:00.0
      381800000000-381800003fff : virtio-pci-modern
  382000000000-3827ffffffff : PCI Bus 0000:05
    382000000000-382000003fff : 0000:05:00.0
      382000000000-382000003fff : virtio-pci-modern
  382800000000-382fffffffff : PCI Bus 0000:06
    382800000000-382800003fff : 0000:06:00.0
      382800000000-382800003fff : virtio-pci-modern
  383000000000-3837ffffffff : PCI Bus 0000:07
  383800000000-383fffffffff : PCI Bus 0000:08
  384000000000-3847ffffffff : PCI Bus 0000:09
  384800000000-384fffffffff : PCI Bus 0000:0a
  385000000000-3857ffffffff : PCI Bus 0000:0b
  385800000000-385fffffffff : PCI Bus 0000:0c
  386000000000-3867ffffffff : PCI Bus 0000:0d
  386800000000-386fffffffff : PCI Bus 0000:0e
  387000000000-387000003fff : 0000:00:01.0
    387000000000-387000003fff : virtio-pci-modern
