Searched refs:dcache_wb_line (Results 1 – 4 of 4) sorted by relevance
120 dcache_wb_line((u32)p); in set_pte()142 dcache_wb_line((u32)p); in set_pmd()165 dcache_wb_line((u32)p); in pmd_clear()
15 void dcache_wb_line(unsigned long start);
9 inline void dcache_wb_line(unsigned long start) in dcache_wb_line() function
80 void dcache_wb_line(unsigned long start) in dcache_wb_line() function
