00000000-00000fff : Reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : Reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c99ff : Video ROM
000ca000-000cadff : Adapter ROM
000cb000-000cd3ff : Adapter ROM
000f0000-000fffff : Reserved
  000f0000-000fffff : System ROM
00100000-bffdafff : System RAM
  af000000-beffffff : Crash kernel
bffdb000-bfffffff : Reserved
c0000000-febfffff : PCI Bus 0000:00
  c0000000-c007ffff : 0000:00:07.0
  c0080000-c0080fff : 0000:00:07.0
  fe000000-fe7fffff : 0000:00:02.0
  fe800000-fe803fff : 0000:00:02.0
    fe800000-fe803fff : virtio-pci-modern
  fe804000-fe807fff : 0000:00:03.0
    fe804000-fe807fff : virtio-pci-modern
  fe808000-fe80bfff : 0000:00:04.0
    fe808000-fe80bfff : virtio-pci-modern
  fe80c000-fe80ffff : 0000:00:05.0
    fe80c000-fe80ffff : virtio-pci-modern
  fe810000-fe813fff : 0000:00:06.0
    fe810000-fe813fff : virtio-pci-modern
  feb00000-feb7ffff : 0000:00:03.0
  feb90000-feb90fff : 0000:00:02.0
  feb91000-feb91fff : 0000:00:03.0
  feb92000-feb92fff : 0000:00:04.0
fec00000-fec003ff : IOAPIC 0
feffc000-feffffff : Reserved
fffc0000-ffffffff : Reserved
100000000-23fffffff : System RAM
  1cd200000-1ce1fffff : Kernel code
  1ce200000-1cefaafff : Kernel rodata
  1cf000000-1cf5a623f : Kernel data
  1cfede000-1d05fffff : Kernel bss
240000000-2bfffffff : PCI Bus 0000:00
  240000000-240003fff : 0000:00:07.0
    240000000-240003fff : virtio-pci-modern
