00000000-0009dbff : System RAM
  00000000-00000000 : Crash kernel
0009dc00-0009ffff : reserved
000d0000-000fffff : reserved
00100000-3be8ffff : System RAM
  00200000-0045ccc2 : Kernel code
  0045ccc3-00573bff : Kernel data
3be90000-3be99fff : ACPI Tables
3be9a000-3befffff : ACPI Non-volatile Storage
3bf00000-3fffffff : reserved
50000000-53ffffff : PCI Bus #08
  50000000-53ffffff : PCI CardBus #09
54000000-5407ffff : 0000:00:12.0
58000000-5bffffff : PCI CardBus #09
d0000000-d0003fff : 0000:00:14.2
  d0000000-d0003fff : ICH HD audio
d0004000-d00041ff : 0000:00:12.0
  d0004000-d00041ff : sata_sil
d0005000-d0005fff : 0000:00:13.0
  d0005000-d0005fff : ohci_hcd
d0006000-d0006fff : 0000:00:13.1
  d0006000-d0006fff : ohci_hcd
d0007000-d0007fff : 0000:00:13.2
  d0007000-d0007fff : ehci_hcd
d0100000-d01fffff : PCI Bus #01
  d0100000-d010ffff : 0000:01:05.0
  d0120000-d013ffff : 0000:01:05.0
d0200000-d02fffff : PCI Bus #02
  d0200000-d020ffff : 0000:02:00.0
d0300000-d03fffff : PCI Bus #08
  d0300000-d0300fff : 0000:08:01.0
    d0300000-d0300fff : yenta_socket
  d0301000-d030107f : 0000:08:01.1
  d0301100-d03011ff : 0000:08:01.4
  d0301400-d03014ff : 0000:08:01.2
    d0301400-d03014ff : sdhci:slot0
  d0301800-d030187f : 0000:08:01.3
  d0301c00-d0301cff : 0000:08:02.0
    d0301c00-d0301cff : 8139too
d4000000-d7ffffff : PCI Bus #01
  d4000000-d7ffffff : 0000:01:05.0
e0000000-efffffff : reserved
fec00000-fec0ffff : reserved
  fec00000-fec00fff : IOAPIC 0
fed00000-fed003ff : 0000:00:14.0
fee00000-fee00fff : Local APIC
fff80000-ffffffff : reserved