137 void mmu_clean_invalidated_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_invalidated_dcache()  argument
141     ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_invalidated_dcache()
143     while(ptr < buffer + size)  in mmu_clean_invalidated_dcache()
150 void mmu_clean_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_dcache()  argument
154     ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_dcache()
156     while (ptr < buffer + size)  in mmu_clean_dcache()
163 void mmu_invalidate_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_invalidate_dcache()  argument
167     ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_invalidate_dcache()
169     while (ptr < buffer + size)  in mmu_invalidate_dcache()
327 void mmu_clean_invalidated_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_invalidated_dcache()  argument
331     ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_invalidated_dcache()
333     while(ptr < buffer + size)  in mmu_clean_invalidated_dcache()
342 void mmu_clean_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_dcache()  argument
346     ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_dcache()
348     while (ptr < buffer + size)  in mmu_clean_dcache()
356 void mmu_invalidate_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_invalidate_dcache()  argument
360     ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_invalidate_dcache()
362     while (ptr < buffer + size)  in mmu_invalidate_dcache()