00000000-00000fff : reserved
00001000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:00
  000a0000-000bffff : Video RAM area
000c0000-000c3fff : PCI Bus 0000:00
000c4000-000c7fff : PCI Bus 0000:00
000c8000-000cbfff : PCI Bus 0000:00
000cc000-000cffff : PCI Bus 0000:00
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000e0000-000e3fff : PCI Bus 0000:00
000e4000-000e7fff : PCI Bus 0000:00
000e8000-000ebfff : PCI Bus 0000:00
000ec000-000effff : PCI Bus 0000:00
000f0000-000fffff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-3f6cffff : System RAM
  01000000-014049c2 : Kernel code
  014049c3-015dd1ff : Kernel data
  01659000-017c2fff : Kernel bss
3f6d0000-3f7fffff : reserved
3f800000-3fffffff : reserved
  3f800000-3fffffff : Graphics Stolen Memory
40000000-febfffff : PCI Bus 0000:00
  40000000-401fffff : PCI Bus 0000:01
  44000000-47ffffff : PCI CardBus 0000:06
  48000000-4bffffff : PCI CardBus 0000:06
  d0000000-dfffffff : 0000:00:02.0
  e0000000-e20fffff : PCI Bus 0000:05
    e2000000-e2000fff : 0000:05:00.0
      e2000000-e2000fff : yenta_socket
    e2001000-e20017ff : 0000:05:00.1
      e2001000-e20017ff : firewire_ohci
    e2001800-e20018ff : 0000:05:00.2
      e2001800-e20018ff : mmc0
  e2100000-e40fffff : PCI Bus 0000:05
  e4100000-e41fffff : PCI Bus 0000:01
    e4100000-e411ffff : 0000:01:00.0
      e4100000-e411ffff : e1000e
  e4200000-e42fffff : PCI Bus 0000:02
    e4200000-e4200fff : 0000:02:00.0
      e4200000-e4200fff : iwl3945
  e4300000-e437ffff : 0000:00:02.0
  e4380000-e43fffff : 0000:00:02.1
  e4400000-e443ffff : 0000:00:02.0
  e4440000-e4443fff : 0000:00:1b.0
    e4440000-e4443fff : ICH HD audio
  e4444000-e44443ff : 0000:00:1d.7
    e4444000-e44443ff : ehci_hcd
  e4444400-e44447ff : 0000:00:1f.2
    e4444400-e44447ff : ahci
  f0000000-f3ffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f0000000-f3ffffff : reserved
      f0000000-f3ffffff : pnp 00:00
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : pnp 00:03
fed14000-fed17fff : pnp 00:00
fed18000-fed18fff : pnp 00:00
fed19000-fed19fff : pnp 00:00
fed1c000-fed1ffff : pnp 00:00
  fed1f410-fed1f414 : iTCO_wdt
fed20000-fed3ffff : pnp 00:00
fed40000-fed44fff : PCI Bus 0000:00
  fed40000-fed44fff : pnp 00:00
fed45000-fed8ffff : pnp 00:00
fee00000-fee00fff : Local APIC
