Home
last modified time | relevance | path

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

/Linux-v4.19/arch/nds32/include/asm/
Dproc-fns.h32 extern void cpu_cache_wbinval_range(unsigned long start,
/Linux-v4.19/arch/nds32/mm/
Dcacheflush.c23 cpu_cache_wbinval_range(start, end, 1); in flush_icache_range()
281 cpu_cache_wbinval_range(start, end, 1); in copy_to_user_page()
Dproc.c331 void cpu_cache_wbinval_range(unsigned long start, unsigned long end, int flushi) in cpu_cache_wbinval_range() function