00000000-17ffffff : System RAM
  0003d000-005c4fff : Kernel text
  005f0000-006b8887 : Kernel data
18012000-18413fff : fbmem
18414000-18bfcfff : fbmem
20000000-287fffff : System RAM
28800000-3fffffff : System RAM
50000000-50023fff : tegra_grhost
  50000000-50023fff : tegra_grhost
54040000-5407ffff : tegra_grhost
54080000-540bffff : tegra_grhost
54100000-5413ffff : tegra_grhost
54200000-5423ffff : regs
  54200000-5423ffff : tegra_grhost
    54200000-5423ffff : tegradc
54240000-5427ffff : regs
  54240000-5427ffff : tegra_grhost
    54240000-5427ffff : tegradc
54280000-542bffff : hdmi_regs
  54280000-542bffff : tegradc
58000000-59ffffff : gart
70000000-70000fff : tegra_das
  70000000-70000fff : tegra_das
70002400-700025ff : spdif_out
  70002400-700025ff : spdif_out
70002800-700028ff : i2s.0
70002a00-70002aff : i2s.1
70006000-7000601f : serial
7000a000-7000a003 : tegra_pwm.0
  7000a000-7000a003 : tegra_pwm
7000a020-7000a023 : tegra_pwm.2
  7000a020-7000a023 : tegra_pwm
7000c000-7000c0ff : tegra-i2c.0
  7000c000-7000c0ff : tegra-i2c
7000c400-7000c4ff : tegra-i2c.1
  7000c400-7000c4ff : tegra-i2c
7000c500-7000c5ff : tegra-i2c.2
  7000c500-7000c5ff : tegra-i2c
7000e000-7000e0ff : tegra_rtc
7000f000-7000f3ff : mc
80400000-8040ffff : PCI IO
90000000-9fffffff : PCIe 0 MEM
a0000000-afffffff : PCIe 0 PREFETCH MEM
  a0000000-a00fffff : PCI Bus 0000:01
    a0000000-a001ffff : 0000:01:00.0
    a0020000-a0023fff : 0000:01:00.0
      a0020000-a0023fff : r8169
    a0024000-a0024fff : 0000:01:00.0
      a0024000-a0024fff : r8169
c5000000-c5003fff : tegra-ehci.0
c5004000-c5007fff : tegra-ehci.1
c5008000-c500bfff : tegra-ehci.2
c8000000-c80001ff : sdhci-tegra.0
c8000600-c80007ff : sdhci-tegra.3