00000000-0000ffff : reserved
00010000-0009dbff : System RAM
0009dc00-0009ffff : reserved
000a0000-000bffff : PCI Bus #00
  000a0000-000bffff : Video RAM area
000c0000-000cf1ff : Video ROM
000cf800-000d0fff : Adapter ROM
000d2000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7bf0ffff : System RAM
  01000000-011cb3f4 : Kernel code
  011cb3f5-012f26df : Kernel data
  0133f000-013a8fff : Kernel bss
7bf10000-7bf17fff : ACPI Tables
7bf18000-7bf7ffff : ACPI Non-volatile Storage
7bf80000-7fffffff : reserved
80000000-fcffffffff : PCI Bus #00
  80000000-8001ffff : 0000:00:05.0
  84000000-87ffffff : PCI CardBus 0000:06
  88000000-8bffffff : PCI CardBus 0000:06
  b0000000-b0003fff : 0000:00:10.1
    b0000000-b0003fff : ICH HD audio
  b0004000-b0004fff : 0000:00:0b.0
    b0004000-b0004fff : ohci_hcd
  b0005000-b00050ff : 0000:00:0b.1
    b0005000-b00050ff : ehci_hcd
  b0006000-b0006fff : 0000:00:0e.0
    b0006000-b0006fff : sata_nv
  b0007000-b0007fff : 0000:00:14.0
    b0007000-b0007fff : forcedeth
  b1000000-b1ffffff : 0000:00:05.0
  b2000000-b2ffffff : 0000:00:05.0
  b3000000-b31fffff : PCI Bus 0000:01
  b3200000-b32fffff : PCI Bus 0000:05
    b3200000-b3200fff : 0000:05:07.0
    b3201000-b32017ff : 0000:05:07.1
    b3201800-b32018ff : 0000:05:07.3
    b3202000-b3202fff : 0000:05:07.2
    b3204000-b3207fff : 0000:05:07.1
  c0000000-cfffffff : 0000:00:05.0
  d0000000-d01fffff : PCI Bus 0000:01
  e0000000-efffffff : reserved
  fec00000-fec0ffff : reserved
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : reserved
  fff80000-ffffffff : reserved