00000000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c7fff : Video ROM
000f0000-000fffff : System ROM
00100000-7ffaffff : System RAM
  00100000-0044fbbd : Kernel code
  0044fbbe-005a70ab : Kernel data
  005ec000-006309bb : Kernel bss
7ffb0000-7ffbffff : ACPI Tables
7ffc0000-7ffeffff : ACPI Non-volatile Storage
7fff0000-7fffffff : reserved
88000000-880fffff : PCI Bus #03
  88000000-88007fff : 0000:03:06.0
e0000000-efffffff : pnp 00:0c
f6000000-f7ffffff : PCI Bus #01
  f6000000-f7ffffff : 0000:01:00.0
f8000000-fbffffff : 0000:00:00.0
fcf00000-fcffffff : PCI Bus #02
fdfff800-fdfff8ff : 0000:00:12.0
  fdfff800-fdfff8ff : via-rhine
fdfffc00-fdfffcff : 0000:00:10.4
  fdfffc00-fdfffcff : ehci_hcd
fe000000-fe9fffff : PCI Bus #01
  fe000000-fe7fffff : 0000:01:00.0
  fe9e0000-fe9effff : 0000:01:00.0
  fe9fc000-fe9fffff : 0000:01:00.0
fea00000-feafffff : PCI Bus #03
  feac0000-feadffff : 0000:03:06.0
  feaff000-feafffff : 0000:03:06.0
    feaff000-feafffff : sata_promise
febfc000-febfffff : 0000:80:01.0
  febfc000-febfffff : ICH HD audio
fec00000-fec00fff : reserved
fecc0000-fecc0fff : pnp 00:06
fee00000-fee00fff : reserved
ff380000-ffffffff : reserved