Searched refs:__flush_dcache (Results 1 – 2 of 2) sorted by relevance
| /OK3568_Linux_fs/kernel/arch/nios2/mm/ |
| H A D | cacheflush.c | 18 static void __flush_dcache(unsigned long start, unsigned long end) in __flush_dcache() function
99 __flush_dcache(0, cpuinfo.dcache_size); in flush_cache_all()
115 __flush_dcache(start, end); in flush_icache_range()
121 __flush_dcache(start, end); in flush_dcache_range()
135 __flush_dcache(start, end); in flush_cache_range()
145 __flush_dcache(start, end); in flush_icache_page()
155 __flush_dcache(start, end); in flush_cache_page()
169 __flush_dcache(start, start + PAGE_SIZE); in __flush_dcache_page()
236 __flush_dcache(vaddr, vaddr + PAGE_SIZE); in copy_user_page()
239 __flush_dcache((unsigned long)vto, (unsigned long)vto + PAGE_SIZE); in copy_user_page()
[all …]
|
| /OK3568_Linux_fs/u-boot/arch/nios2/lib/ |
| H A D | cache.c | 14 static void __flush_dcache(unsigned long start, unsigned long end) in __flush_dcache() function
94 __flush_dcache(start, end); in flush_dcache_range()
102 __flush_dcache(start, start + size); in flush_cache()
|