148 void mmu_clean_invalidated_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_invalidated_dcache()  argument
152 	ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_invalidated_dcache()
154 	while(ptr < buffer + size)  in mmu_clean_invalidated_dcache()
164 void mmu_clean_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_dcache()  argument
168 	ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_dcache()
170 	while (ptr < buffer + size)  in mmu_clean_dcache()
180 void mmu_invalidate_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_invalidate_dcache()  argument
184 	ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_invalidate_dcache()
186 	while (ptr < buffer + size)  in mmu_invalidate_dcache()
367 void mmu_clean_invalidated_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_invalidated_dcache()  argument
371 	ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_invalidated_dcache()
373 	while(ptr < buffer + size)  in mmu_clean_invalidated_dcache()
381 void mmu_clean_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_clean_dcache()  argument
385 	ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_clean_dcache()
387 	while (ptr < buffer + size)  in mmu_clean_dcache()
394 void mmu_invalidate_dcache(rt_uint32_t buffer, rt_uint32_t size)  in mmu_invalidate_dcache()  argument
398 	ptr = buffer & ~(CACHE_LINE_SIZE - 1);  in mmu_invalidate_dcache()
400 	while (ptr < buffer + size)  in mmu_invalidate_dcache()