00000000-0000ffff : reserved
00010000-0009f7ff : System RAM
0009f800-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000cffff : Video ROM
000dc000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7feeffff : System RAM
  01000000-01445865 : Kernel code
  01445866-015cc6c7 : Kernel data
  0162d000-01673b23 : Kernel bss
7fef0000-7fefafff : ACPI Tables
7fefb000-7fefffff : ACPI Non-volatile Storage
7ff00000-7fffffff : reserved
80000000-8bffffff : PCI Bus 0000:02
  80000000-83ffffff : PCI CardBus 0000:03
  84000000-87ffffff : PCI CardBus 0000:04
  88000000-8bffffff : PCI CardBus 0000:08
8c000000-8c0003ff : 0000:00:1f.1
90000000-93ffffff : PCI CardBus 0000:03
94000000-97ffffff : PCI CardBus 0000:04
98000000-9bffffff : PCI CardBus 0000:08
c0000000-c00003ff : 0000:00:1d.7
  c0000000-c00003ff : ehci_hcd
c0000800-c00008ff : 0000:00:1f.5
  c0000800-c00008ff : Intel 82801DB-ICH4
c0000c00-c0000dff : 0000:00:1f.5
  c0000c00-c0000dff : Intel 82801DB-ICH4
c0100000-c01fffff : PCI Bus 0000:01
  c0100000-c010ffff : 0000:01:00.0
  c0120000-c013ffff : 0000:01:00.0
c0200000-c02fffff : PCI Bus 0000:02
  c0200000-c020ffff : 0000:02:0c.0
    c0200000-c020ffff : tg3
  c0210000-c0213fff : 0000:02:0e.0
  c0214000-c0214fff : 0000:02:0a.2
  c0215000-c0215fff : 0000:02:0d.0
  c0216000-c02167ff : 0000:02:0e.0
    c0216000-c02167ff : ohci1394
  c0217000-c0217fff : 0000:02:0a.0
    c0217000-c0217fff : yenta_socket
  c0218000-c0218fff : 0000:02:0a.1
    c0218000-c0218fff : yenta_socket
  c0219000-c0219fff : 0000:02:0a.3
    c0219000-c0219fff : yenta_socket
c8000000-cfffffff : PCI Bus 0000:01
  c8000000-cfffffff : 0000:01:00.0
d0000000-d7ffffff : 0000:00:00.0
fec10000-fec1ffff : reserved
  fec10000-fec1ffff : pnp 00:01
ffb00000-ffbfffff : reserved
  ffb00000-ffbfffff : pnp 00:01
fff00000-ffffffff : reserved