00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c8bff : Video ROM
000c9000-000c99ff : Adapter ROM
000ca000-000cc3ff : Adapter ROM
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7fffdfff : System RAM
  62600000-62dcd281 : Kernel code
  62dcd282-6336c33f : Kernel data
  63596000-638a3fff : Kernel bss
7fffe000-7fffffff : reserved
80000000-febfffff : PCI Bus 0000:00
  fc000000-fdffffff : 0000:00:02.0
    fc000000-fdffffff : cirrusdrmfb_vram
  febd0000-febdffff : 0000:00:02.0
  febe0000-febeffff : 0000:00:03.0
  febf0000-febf0fff : 0000:00:02.0
    febf0000-febf0fff : cirrusdrmfb_mmio
  febf1000-febf1fff : 0000:00:03.0
  febf2000-febf2fff : 0000:00:04.0
fec00000-fec003ff : IOAPIC 0
fee00000-fee00fff : Local APIC
feffc000-feffffff : reserved
fffc0000-ffffffff : reserved