00000000-0009fbff : System RAM
  00000000-00000000 : Crash kernel
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000cf1ff : Video ROM
000e0000-000effff : Extension ROM
000f0000-000fffff : System ROM
00100000-7ffeffff : System RAM
  00400000-0060506c : Kernel code
  0060506d-0071ed87 : Kernel data
7fff0000-7fff7fff : ACPI Tables
7fff8000-7fffffff : ACPI Non-volatile Storage
88000000-880fffff : PCI Bus #02
  88000000-8800ffff : 0000:02:0b.0
88100000-881003ff : 0000:00:1f.1
d3c00000-f3bfffff : PCI Bus #01
  e0000000-efffffff : 0000:01:00.0
f3d00000-f7dfffff : PCI Bus #01
  f5000000-f5ffffff : 0000:01:00.0
  f6000000-f6ffffff : 0000:01:00.0
    f6000000-f6ffffff : nvidia
  f7de0000-f7dfffff : 0000:01:00.0
f7e00000-f7efffff : PCI Bus #02
  f7efff00-f7efffff : 0000:02:0b.0
    f7efff00-f7efffff : 8139too
f7fffc00-f7ffffff : 0000:00:1d.7
  f7fffc00-f7ffffff : ehci_hcd
f8000000-fbffffff : 0000:00:00.0
fec00000-fec00fff : reserved
fee00000-fee00fff : reserved
fff00000-ffffffff : reserved