Searched refs:sync_icache_dcache (Results 1 – 2 of 2) sorted by relevance
194 extern void sync_icache_dcache(pte_t pte);204 sync_icache_dcache(pteval); in set_pte()
115 void sync_icache_dcache(pte_t pte) in sync_icache_dcache() function