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-000cbdff : Adapter ROM
000cc000-000ce3ff : 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
  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
  fe814000-fe817fff : 0000:00:07.0
    fe814000-fe817fff : virtio-pci-modern
  fea80000-feafffff : 0000:00:03.0
  feb00000-feb7ffff : 0000:00:07.0
  feb90000-feb90fff : 0000:00:02.0
  feb91000-feb91fff : 0000:00:03.0
  feb92000-feb92fff : 0000:00:04.0
  feb93000-feb93fff : 0000:00:07.0
fec00000-fec003ff : IOAPIC 0
feffc000-feffffff : Reserved
fffc0000-ffffffff : Reserved
100000000-23fffffff : System RAM
  12d400000-12e3fffff : Kernel code
  12e400000-12f1aafff : Kernel rodata
  12f200000-12f7a623f : Kernel data
  1300de000-1307fffff : Kernel bss
240000000-2bfffffff : PCI Bus 0000:00
