Home
last modified time | relevance | path

Searched refs:cpu_dcache_wbinval_page (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/arch/nds32/mm/
Dcacheflush.c181 cpu_dcache_wbinval_page((unsigned long)vaddr); in copy_user_page()
184 cpu_dcache_wbinval_page((unsigned long)vto); in copy_user_page()
190 cpu_dcache_wbinval_page((unsigned long)vaddr); in clear_user_page()
193 cpu_dcache_wbinval_page((unsigned long)addr); in clear_user_page()
250 cpu_dcache_wbinval_page(kaddr); in flush_dcache_page()
257 cpu_dcache_wbinval_page(kto); in flush_dcache_page()
316 cpu_dcache_wbinval_page(ktmp); in flush_anon_page()
326 cpu_dcache_wbinval_page((unsigned long)page_address(page)); in flush_kernel_dcache_page()
Dproc.c233 void cpu_dcache_wbinval_page(unsigned long start) in cpu_dcache_wbinval_page() function
267 cpu_dcache_wbinval_page(page); in cpu_cache_wbinval_page()
398 cpu_dcache_wbinval_page(t_start); in cpu_cache_wbinval_range_check()
/Linux-v4.19/arch/nds32/include/asm/
Dproc-fns.h22 extern void cpu_dcache_wbinval_page(unsigned long page);