|
@@ -274,8 +274,7 @@ static inline void set_dacr(unsigned int val)
|
|
|
|
|
|
/* options available for data cache on each page */
|
|
|
enum dcache_option {
|
|
|
- DCACHE_OFF = TTB_SECT_S_MASK | TTB_SECT_DOMAIN(0) |
|
|
|
- TTB_SECT_XN_MASK | TTB_SECT,
|
|
|
+ DCACHE_OFF = TTB_SECT_DOMAIN(0) | TTB_SECT_XN_MASK | TTB_SECT,
|
|
|
DCACHE_WRITETHROUGH = DCACHE_OFF | TTB_SECT_C_MASK,
|
|
|
DCACHE_WRITEBACK = DCACHE_WRITETHROUGH | TTB_SECT_B_MASK,
|
|
|
DCACHE_WRITEALLOC = DCACHE_WRITEBACK | TTB_SECT_TEX(1),
|