Line 1:
Line 1:
−
VA E8000000..E8600000 -> PA 18000000..18600000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF8000)
+
VA E8000000..E8600000 -> PA 18000000..18600000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF8000)
−
VA EFF00000..F0000000 -> PA 1FF00000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF8000)
+
VA EFF00000..F0000000 -> PA 1FF00000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF8000)
−
VA F0000000..F8000000 -> PA 20000000..28000000 [SYS:RW USR:-- XN TYP:NORMAL PRIVAT OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF8000)
+
VA F0000000..F8000000 -> PA 20000000..28000000 [SYS:RW USR:-- XN TYP:NORMAL PRIVAT OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF8000)
−
VA FF401000..FF402000 -> PA 27FC9000..27FCA000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (
+
VA FF401000..FF402000 -> PA 27FC9000..27FCA000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF5800)
+
VA FF403000..FF404000 -> PA 27FC4000..27FC5000 [SYS
VA FFFCC000..FFFCD000 -> PA 10144000..10145000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFCC000..FFFCD000 -> PA 10144000..10145000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFCE000..FFFCF000 -> PA 10400000..10401000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFCE000..FFFCF000 -> PA 10400000..10401000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
Line 182:
Line 182:
VA FFFD8000..FFFD9000 -> PA 10140000..10141000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFD8000..FFFD9000 -> PA 10140000..10141000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFDA000..FFFDB000 -> PA 10200000..10201000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFDA000..FFFDB000 -> PA 10200000..10201000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
−
VA FFFDC000..FFFE0000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFDC000..FFFE0000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFE1000..FFFE2000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFE1000..FFFE2000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFE3000..FFFE4000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFE3000..FFFE4000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFE5000..FFFE9000 -> PA 1FFFC000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFE5000..FFFE9000 -> PA 1FFFC000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFEA000..FFFEB000 -> PA 1FFF1000..1FFF2000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFEA000..FFFEB000 -> PA 1FFF1000..1FFF2000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFEC000..FFFED000 -> PA 1FFF3000..1FFF4000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFEC000..FFFED000 -> PA 1FFF3000..1FFF4000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
VA FFFEE000..FFFF0000 -> PA 17E00000..17E02000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
VA FFFEE000..FFFF0000 -> PA 17E00000..17E02000 [SYS:RW USR:-- XN TYP:DEVICE SHARED ] (TBASE=1FFF7800)
−
VA FFFF0000..FFFF1000 -> PA 1FFF4000..1FFF5000 [SYS:RO USR:-- X TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFF0000..FFFF1000 -> PA 1FFF4000..1FFF5000 [SYS:RO USR:-- X TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFF2000..FFFF6000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFF2000..FFFF6000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFF7000..FFFF8000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFF7000..FFFF8000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFF9000..FFFFA000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFF9000..FFFFA000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)
−
VA FFFFB000..FFFFE000 -> PA 1FFF5000..1FFF8000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NONCACHABLE, UNBUFFERED, INNER WRITEBACK, WRITE ALLOCATE, BUFFERED] (TBASE=1FFF7800)
+
VA FFFFB000..FFFFE000 -> PA 1FFF5000..1FFF8000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA] (TBASE=1FFF7800)