00000000-67fffffff : System RAM
  00000000-00643b85 : Kernel code
  00643b86-00a3356f : Kernel data
  00aab000-00b92a33 : Kernel bss
680000000-68fffffff : System RAM
690000000-69fffffff : System RAM
6a0000000-6afffffff : System RAM
6b0000000-6bfffffff : System RAM
6c0000000-6cfffffff : System RAM
6d0000000-6dfffffff : System RAM
6e0000000-6efffffff : System RAM
6f0000000-6ffffffff : System RAM
700000000-70fffffff : System RAM
710000000-71fffffff : System RAM
720000000-72fffffff : System RAM
730000000-73fffffff : System RAM
740000000-74fffffff : System RAM
750000000-75fffffff : System RAM
760000000-76fffffff : System RAM
770000000-77fffffff : System RAM
780000000-78fffffff : System RAM
790000000-79fffffff : System RAM
7a0000000-7afffffff : System RAM
7b0000000-7bfffffff : System RAM
7c0000000-7cfffffff : System RAM
7d0000000-7dfffffff : System RAM
7e0000000-7efffffff : System RAM
7f0000000-7ffffffff : System RAM
800000000-80fffffff : System RAM
810000000-81fffffff : System RAM
820000000-82fffffff : System RAM
830000000-83fffffff : System RAM
840000000-84fffffff : System RAM
850000000-85fffffff : System RAM
860000000-86fffffff : System RAM
870000000-87fffffff : System RAM