Searched refs:dcache_wb_line (Results 1 – 4 of 4) sorted by relevance
89 dcache_wb_line((u32)p); in set_pte()110 dcache_wb_line((u32)p); in set_pmd()133 dcache_wb_line((u32)p); in pmd_clear()
15 void dcache_wb_line(unsigned long start);
73 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