00000000-0009efff : System RAM
0009f000-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000cdfff : Video ROM
000ce000-000cefff : Adapter ROM
000cf000-000cffff : Adapter ROM
000e0000-000effff : Extension ROM
000f0000-000fffff : System ROM
00100000-3ff6ffff : System RAM
  00100000-0034f35d : Kernel code
  0034f35e-0040057b : Kernel data
3ff70000-3ff7dfff : ACPI Tables
3ff7e000-3ff7ffff : ACPI Non-volatile Storage
3ff80000-3fffffff : reserved
50000000-50000fff : 0000:02:00.0
  50000000-50000fff : yenta_socket
50001000-500013ff : 0000:00:1f.1
51000000-51000fff : 0000:02:00.1
  51000000-51000fff : yenta_socket
c0100000-c01fffff : PCI Bus #01
  c0100000-c017ffff : 0000:01:00.0
c0200000-cfffffff : PCI Bus #02
  c0200000-c0200fff : 0000:02:08.0
    c0200000-c0200fff : e100
  c0201000-c02010ff : 0000:02:02.0
  c2000000-c3ffffff : PCI CardBus #03
  c4000000-c5ffffff : PCI CardBus #07
d0000000-dfffffff : 0000:00:00.0
e0000000-ebffffff : PCI Bus #01
  e0000000-e1ffffff : 0000:01:00.0
  e2000000-e200ffff : 0000:01:00.0
  e4000000-e7ffffff : 0000:01:00.0
  e8000000-ebffffff : 0000:01:00.0
f0000000-f7ffffff : PCI Bus #02
  f0000000-f1ffffff : PCI CardBus #03
  f2000000-f3ffffff : PCI CardBus #07
ff800000-ffffffff : reserved
