Searched refs:sync_icache_dcache (Results 1 – 2 of 2) sorted by relevance
187 extern void sync_icache_dcache(pte_t pte);197 sync_icache_dcache(pteval); in set_pte()
113 void sync_icache_dcache(pte_t pte) in sync_icache_dcache() function