VA D8000000..D8600000 -> PA 18000000..18600000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA DFF00000..E0000000 -> PA 1FF00000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA E0000000..E8000000 -> PA 20000000..28000000 [SYS:RW USR:-- XN TYP:NORMAL PRIVAT OUTER NOCACHE, INNER CACHED WB WA]
...
VA FFF40000..FFF6C000 -> PA 1FF80000..1FFAC000 [SYS:RO USR:-- X TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFF6C000..FFF6D000 -> PA 1FFEA000..1FFEB000 [SYS:RO USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFF6D000..FFF72000 -> PA 1FFEB000..1FFF0000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]