VA E8000000..E8600000 -> PA 18000000..18600000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA EFF00000..F0000000 -> PA 1FF00000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA F0000000..F8000000 -> PA 20000000..28000000 [SYS:RW USR:-- XN TYP:NORMAL PRIVAT OUTER NOCACHE, INNER CACHED WB WA]
...
VA FFF50000..FFF70000 -> PA 1FF80000..1FFA0000 [SYS:RO USR:-- X TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFF70000..FFF7B000 -> PA 1FFA0000..1FFAB000 [SYS:RO USR:-- X TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
...
VA FFFCC000..FFFCD000 -> PA 10144000..10145000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFCE000..FFFCF000 -> PA 10400000..10401000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFD0000..FFFD1000 -> PA 10141000..10142000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFD2000..FFFD3000 -> PA 10163000..10164000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFD4000..FFFD5000 -> PA 10146000..10147000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFD6000..FFFD7000 -> PA 10202000..10203000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFD8000..FFFD9000 -> PA 10140000..10141000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
VA FFFDA000..FFFDB000 -> PA 10200000..10201000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ]
...