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-bffd9fff : System RAM
bffda000-bfffffff : Reserved
c0000000-febfffff : PCI Bus 0000:00
  fd000000-fdffffff : 0000:00:02.0
  fe600000-fe7fffff : PCI Bus 0000:02
  fe800000-fe9fffff : PCI Bus 0000:01
  fea00000-fea3ffff : 0000:00:12.0
  fea50000-fea50fff : 0000:00:02.0
  fea51000-fea51fff : 0000:00:05.0
  fea52000-fea52fff : 0000:00:12.0
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
feffc000-feffffff : Reserved
fffc0000-ffffffff : Reserved
100000000-23fffffff : System RAM
  16a600000-16bbfffff : Kernel code
  16bc00000-16ca16fff : Kernel rodata
  16cc00000-16d05677f : Kernel data
  16d556000-16d9fffff : Kernel bss
fd00000000-ffffffffff : Reserved
380000000000-38180000bfff : PCI Bus 0000:00
  380000000000-3800000000ff : 0000:00:1e.0
  380000001000-3800000010ff : 0000:00:1f.0
  380800000000-380fffffffff : PCI Bus 0000:02
  381000000000-3817ffffffff : PCI Bus 0000:01
  381800000000-381800003fff : 0000:00:03.0
    381800000000-381800003fff : virtio-pci-modern
  381800004000-381800007fff : 0000:00:05.0
    381800004000-381800007fff : virtio-pci-modern
  381800008000-38180000bfff : 0000:00:12.0
    381800008000-38180000bfff : virtio-pci-modern