equal
deleted
inserted
replaced
128 #ifdef __SMP__ |
128 #ifdef __SMP__ |
129 // #define __CPU_SUPPORTS_PAGE_TABLE_WALK_TO_L1_CACHE |
129 // #define __CPU_SUPPORTS_PAGE_TABLE_WALK_TO_L1_CACHE |
130 #endif |
130 #endif |
131 #endif |
131 #endif |
132 |
132 |
133 #if (defined(__CPU_ARM1136__) && defined(__CPU_ARM1136_ERRATUM_399234_FIXED)) || (defined(__CPU_ARM11MP__) && defined (__SMP__) ) |
133 #if (defined(__CPU_ARM1136__) && defined(__CPU_ARM1136_ERRATUM_399234_FIXED) && !defined(__MEMMODEL_FLEXIBLE__)) || (defined(__CPU_ARM11MP__) && defined (__SMP__) ) |
134 // Page tables on these platforms are either uncached or write through cached. |
134 // Page tables on these platforms are either uncached or write through cached. |
135 #else |
135 #else |
136 // Page/directory tables are fully cached (write-back) on these platforms. |
136 // Page/directory tables are fully cached (write-back) on these platforms. |
137 #define __CPU_PAGE_TABLES_FULLY_CACHED |
137 #define __CPU_PAGE_TABLES_FULLY_CACHED |
138 #endif |
138 #endif |