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-7dfd0017 : System RAM
  2a000000-2affffff : Kernel code
  2b000000-2bda6fff : Kernel rodata
  2be00000-2c3a5eff : Kernel data
  2ccdc000-2d3fffff : Kernel bss
  60000000-6fffffff : Crash kernel
7dfd0018-7e002457 : System RAM
7e002458-7e003017 : System RAM
7e003018-7e00ca57 : System RAM
7e00ca58-7e018fff : System RAM
7e019000-7e021fff : Reserved
7e022000-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:07
  c0a00000-c0bfffff : PCI Bus 0000:06
  c0c00000-c0dfffff : PCI Bus 0000:05
  c0e00000-c0ffffff : PCI Bus 0000:04
    c0e00000-c0e00fff : 0000:04:00.0
  c1000000-c11fffff : PCI Bus 0000:03
    c1000000-c1000fff : 0000:03:00.0
    c1080000-c10fffff : 0000:03:00.0
  c1200000-c14fffff : PCI Bus 0000:01
    c1200000-c13fffff : PCI Bus 0000:02
    c1400000-c14000ff : 0000:01:00.0
  c1580000-c1580fff : 0000:00:1f.2
    c1580000-c1580fff : ahci
  c1581000-c1581fff : 0000:00:02.5
  c1582000-c1582fff : 0000:00:02.4
  c1583000-c1583fff : 0000:00:02.3
  c1584000-c1584fff : 0000:00:02.2
  c1585000-c1585fff : 0000:00:02.1
  c1586000-c1586fff : 0000:00:02.0
  c1587000-c1587fff : 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
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-800403fff : 0000:00:01.0
    800400000-800403fff : virtio-pci-modern
  800500000-8006fffff : PCI Bus 0000:01
  800700000-8008fffff : PCI Bus 0000:07
