Searched refs:flush_icache_pte (Results 1 – 2 of 2) sorted by relevance
83 void flush_icache_pte(pte_t pte) in flush_icache_pte() function
521 void flush_icache_pte(pte_t pte);526 flush_icache_pte(pteval); in __set_pte_at()