00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c7fff : Video ROM
000cd200-000e7fff : pnp 00:06
000e8000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7f7cf2ff : System RAM
  01000000-01650f4e : Kernel code
  01650f4f-019a257f : Kernel data
  01a89000-01b4efff : Kernel bss
7f7cf300-7fffffff : reserved
  7f800000-7fffffff : Graphics Stolen Memory
80000000-801fffff : PCI Bus 0000:20
d0000000-dfffffff : 0000:00:02.0
e0400000-e047ffff : 0000:00:02.0
e0480000-e04bffff : 0000:00:02.0
e04c0000-e04c3fff : 0000:00:1b.0
  e04c0000-e04c3fff : ICH HD audio
e04c4000-e04c43ff : 0000:00:1d.7
  e04c4000-e04c43ff : ehci_hcd
e0500000-e07fffff : PCI Bus 0000:3f
  e0500000-e050ffff : 0000:3f:00.0
    e0500000-e050ffff : tg3
f0000000-f3ffffff : reserved
  f0000000-f3ffffff : pnp 00:06
    f0000000-f1ffffff : PCI MMCONFIG 0000 [bus 00-1f]
fec00000-ffffffff : reserved
  fec00000-fec00fff : PNP0003:00
    fec00000-fec003ff : IOAPIC 0
  fec01000-ffffffff : pnp 00:06
    fed1f410-fed1f414 : iTCO_wdt
    fee00000-fee00fff : Local APIC
100000000-1001fffff : PCI Bus 0000:20
100200000-1003fffff : PCI Bus 0000:3f