Line 1:
Line 1:
+
VA0 : core 0 VA;
+
VA1 : core 1 VA
+
VA E8000000..E8600000 -> PA 18000000..18600000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
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 EFF00000..F0000000 -> PA 1FF00000..20000000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
Line 192:
Line 195:
VA FFFF2000..FFFF6000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFFF2000..FFFF6000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFFF7000..FFFF8000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFFF7000..FFFF8000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
−
VA FFFF9000..FFFFA000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
+
VA0 FFFF9000..FFFFA000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
+
VA1 FFFF9000..FFFFA000 -> PA 1FFF3000..1FFF4000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFFFB000..FFFFE000 -> PA 1FFF5000..1FFF8000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]
VA FFFFB000..FFFFE000 -> PA 1FFF5000..1FFF8000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]