Searched refs:dcache_wb_range (Results 1 – 6 of 6) sorted by relevance
20 dcache_wb_range((unsigned long)addr, in SYSCALL_DEFINE3()
30 void dcache_wb_range(unsigned long start, unsigned long end) in dcache_wb_range() function
97 void dcache_wb_range(unsigned long start, unsigned long end) in dcache_wb_range() function
20 void dcache_wb_range(unsigned long start, unsigned long end);
64 dcache_wb_range((unsigned int)ret, in pgd_alloc()
39 dcache_wb_range((unsigned long)vdso, (unsigned long)vdso + 16); in init_vdso()
