Searched refs:__inv_icache_page (Results 1 – 3 of 3) sorted by relevance
36 void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr);
778 void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr) in __inv_icache_page() function822 __inv_icache_page(paddr, u_vaddr); in flush_cache_page()
627 __inv_icache_page(paddr, vaddr); in update_mmu_cache()