|
@@ -75,6 +75,15 @@ static unsigned long noncached_start;
|
|
|
static unsigned long noncached_end;
|
|
|
static unsigned long noncached_next;
|
|
|
|
|
|
+void noncached_set_region(void)
|
|
|
+{
|
|
|
+#if !CONFIG_IS_ENABLED(SYS_DCACHE_OFF)
|
|
|
+ mmu_set_region_dcache_behaviour(noncached_start,
|
|
|
+ noncached_end - noncached_start,
|
|
|
+ DCACHE_OFF);
|
|
|
+#endif
|
|
|
+}
|
|
|
+
|
|
|
void noncached_init(void)
|
|
|
{
|
|
|
phys_addr_t start, end;
|
|
@@ -91,9 +100,7 @@ void noncached_init(void)
|
|
|
noncached_end = end;
|
|
|
noncached_next = start;
|
|
|
|
|
|
-#if !CONFIG_IS_ENABLED(SYS_DCACHE_OFF)
|
|
|
- mmu_set_region_dcache_behaviour(noncached_start, size, DCACHE_OFF);
|
|
|
-#endif
|
|
|
+ noncached_set_region();
|
|
|
}
|
|
|
|
|
|
phys_addr_t noncached_alloc(size_t size, size_t align)
|