|
@@ -93,8 +93,8 @@
|
|
#define TCR_ORGN_WBNWA (3 << 10)
|
|
#define TCR_ORGN_WBNWA (3 << 10)
|
|
#define TCR_ORGN_MASK (3 << 10)
|
|
#define TCR_ORGN_MASK (3 << 10)
|
|
#define TCR_SHARED_NON (0 << 12)
|
|
#define TCR_SHARED_NON (0 << 12)
|
|
-#define TCR_SHARED_OUTER (1 << 12)
|
|
|
|
-#define TCR_SHARED_INNER (2 << 12)
|
|
|
|
|
|
+#define TCR_SHARED_OUTER (2 << 12)
|
|
|
|
+#define TCR_SHARED_INNER (3 << 12)
|
|
#define TCR_TG0_4K (0 << 14)
|
|
#define TCR_TG0_4K (0 << 14)
|
|
#define TCR_TG0_64K (1 << 14)
|
|
#define TCR_TG0_64K (1 << 14)
|
|
#define TCR_TG0_16K (2 << 14)
|
|
#define TCR_TG0_16K (2 << 14)
|