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-000cb5ff : Adapter ROM
000cb800-000cdbff : Adapter ROM
000f0000-000fffff : Reserved
  000f0000-000fffff : System ROM
00100000-21ffffff : System RAM
22000000-271fffff : Reserved
27200000-7ffd7fff : System RAM
  79400000-7a4049a6 : Kernel code
  7a600000-7a9bcfff : Kernel rodata
  7aa00000-7ac9acbf : Kernel data
  7b2dd000-7b3fffff : Kernel bss
7ffd8000-7fffffff : Reserved
80000000-afffffff : PCI Bus 0000:00
b0000000-bfffffff : PCI MMCONFIG 0000 [bus 00-ff]
  b0000000-bfffffff : Reserved
c0000000-febfffff : PCI Bus 0000:00
  fe000000-fe7fffff : 0000:00:01.0
  fe800000-fe803fff : 0000:00:01.0
    fe800000-fe803fff : virtio-pci-modern
  fe804000-fe807fff : 0000:00:02.0
    fe804000-fe807fff : virtio-pci-modern
  fe808000-fe80bfff : 0000:00:03.0
    fe808000-fe80bfff : virtio-pci-modern
  fe80c000-fe80ffff : 0000:00:04.0
    fe80c000-fe80ffff : virtio-pci-modern
  feb80000-febbffff : 0000:00:02.0
  febd0000-febd3fff : 0000:00:1b.0
  febd4000-febd4fff : 0000:00:01.0
  febd5000-febd5fff : 0000:00:02.0
  febd6000-febd6fff : 0000:00:04.0
  febd7000-febd7fff : 0000:00:1d.7
    febd7000-febd7fff : ehci_hcd
  febd8000-febd8fff : 0000:00:1f.2
    febd8000-febd8fff : ahci
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed1c000-fed1ffff : Reserved
fed90000-fed90fff : dmar0
fee00000-fee00fff : Local APIC
feffc000-feffffff : Reserved
fffc0000-ffffffff : Reserved
100000000-8ffffffff : PCI Bus 0000:00
