00000000-0009f7ff : System RAM
  00000000-00000000 : Crash kernel
0009f800-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000cffff : Video ROM
000d0000-000d0fff : Adapter ROM
000d2000-000d3fff : reserved
000f0000-000fffff : System ROM
00100000-5fedffff : System RAM
  00100000-003a207b : Kernel code
  003a207c-004afbf3 : Kernel data
5fee0000-5fee9fff : ACPI Tables
5feea000-5fefffff : ACPI Non-volatile Storage
5ff00000-5fffffff : reserved
68000000-6bffffff : PCI Bus #06
  68000000-6bffffff : PCI CardBus #07
6c000000-6fffffff : PCI CardBus #07
  6c000000-6cffffff : 0000:07:00.0
    6c000000-6cffffff : cx88[0]
  6d000000-6dffffff : 0000:07:00.1
    6d000000-6dffffff : cx88[0]
  6e000000-6effffff : 0000:07:00.2
b8000000-b80003ff : 0000:00:1d.7
  b8000000-b80003ff : ehci_hcd
b8000400-b80004ff : 0000:00:1e.2
  b8000400-b80004ff : Intel ICH6
b8000800-b80009ff : 0000:00:1e.2
  b8000800-b80009ff : Intel ICH6
b8000c00-b8000fff : 0000:00:1f.2
  b8000c00-b8000fff : ahci
b8100000-b81fffff : PCI Bus #01
  b8100000-b810ffff : 0000:01:00.0
  b8120000-b813ffff : 0000:01:00.0
bc000000-bfffffff : PCI Bus #02
c0000000-c3ffffff : PCI Bus #03
c4000000-c40fffff : PCI Bus #06
  c4000000-c4003fff : 0000:06:04.2
  c4004000-c4005fff : 0000:06:04.3
    c4004000-c4005fff : tifm_7xx1
  c4006000-c40060ff : 0000:06:01.0
    c4006000-c40060ff : 8139too
  c4006400-c40064ff : 0000:06:04.4
    c4006400-c40064ff : sdhci:slot2
  c4006800-c4006fff : 0000:06:04.2
    c4006800-c4006fff : ohci1394
  c4007000-c4007fff : 0000:06:02.0
    c4007000-c4007fff : ipw2200
  c4008000-c4008fff : 0000:06:04.0
    c4008000-c4008fff : yenta_socket
  c4009000-c40090ff : 0000:06:04.4
    c4009000-c40090ff : sdhci:slot1
  c4009400-c40094ff : 0000:06:04.4
    c4009400-c40094ff : sdhci:slot0
c8000000-cfffffff : PCI Bus #01
  c8000000-cfffffff : 0000:01:00.0
d0000000-d3ffffff : PCI Bus #02
d4000000-d7ffffff : PCI Bus #03
e0000000-efffffff : PCI MMCONFIG 0
f0008000-f000bfff : reserved
fed20000-fed8ffff : reserved
ff000000-ffffffff : reserved