|
@@ -628,7 +628,18 @@ void mmu_set_region_dcache_behaviour(phys_addr_t start, size_t size,
|
|
|
enum dcache_option option);
|
|
|
|
|
|
#ifdef CONFIG_SYS_NONCACHED_MEMORY
|
|
|
-void noncached_init(void);
|
|
|
+/**
|
|
|
+ * noncached_init() - Initialize non-cached memory region
|
|
|
+ *
|
|
|
+ * Initialize non-cached memory area. This memory region will be typically
|
|
|
+ * located right below the malloc() area and mapped uncached in the MMU.
|
|
|
+ *
|
|
|
+ * It is called during the generic post-relocation init sequence.
|
|
|
+ *
|
|
|
+ * Return: 0 if OK
|
|
|
+ */
|
|
|
+int noncached_init(void);
|
|
|
+
|
|
|
phys_addr_t noncached_alloc(size_t size, size_t align);
|
|
|
#endif /* CONFIG_SYS_NONCACHED_MEMORY */
|
|
|
|