Searched refs:cpu_dcache_wbinval_page (Results 1 – 3 of 3) sorted by relevance
181 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()
233 void cpu_dcache_wbinval_page(unsigned long start) in cpu_dcache_wbinval_page() function267 cpu_dcache_wbinval_page(page); in cpu_cache_wbinval_page()398 cpu_dcache_wbinval_page(t_start); in cpu_cache_wbinval_range_check()
22 extern void cpu_dcache_wbinval_page(unsigned long page);